This paper presents a method of determining, from Present State Next State Present Output the flow table of an autonomous sequential machine, whether the machine can be realized by a linear circuit which uses the minimum sI SI possible number of secondary variables. The method is based on a ssz z class of binary partitions of states, which are used to find a minimal 2 assignment of the secondar...

In Danish, as in other languages, prosody assignment is fairly well described as a function of lexical and syntactic structure. So in principle, prosodic clue assignment should be open to machine learning techniques. This paper presents an experiment using transformation-based ML for unsupervised learning of Danish main stress assignment. The trained stress assigner is compared to the leading D...

The apparent goal of this assignment is to create an efficient set of modifications to image files using image filters. Additionally the assignment can be used to review basic functions and debugging within the IDE that the student is using for eclipse. My personal goals were to familiarize myself with JAVA as a language again and then to create efficient functions with efficient runtime comple...

Static single assignment (SSA) form is a popular intermediate representation that helps implement useful static analyses, including global value numbering (GVN), sparse dataflow or SMT-based abstract interpretation model checking. However, the precision of SSA translation itself depends on and priori analysis even indispensable in case low-level input languages like machine code. To solve this ...

Many applications with stream processing behavior contain one or more loops with an unknown number of iterations. These loops have to be parallelized in order to utilize the maximum capacity of an embedded multiprocessor platform and thus increase the total throughput. This thesis presents a method to automatically extract a parallel task graph based on function level parallelism from a sequent...

For a linear time-invariant system with a feedback controller, the closed-loop eigenvalues perturb due to system uncertainties. Given an allowable tolerance for the closed-loop eigenvalue perturbation, an algorithm is developed to obtain a state feedback controller that maximizes the uncertainty tolerance of the open-loop system matrix. The design procedure is based on an existing eigenvalue as...