- document
-
Beuker, J.F. (author)Met behulp van het GAG-systeem is een front-end compiler voor SDL-PR gegenereerd. In dit verslag zal de gevolgde aanpak worden toegelicht en de opgedane ervaring worden geevalueerd.master thesis 1990
- document
-
Janssen, J. (author)Compiler technology plays an important role to enhance the performance of modern microprocessors. In this thesis, compiler techniques and strategies are described to enhance the performance of microprocessors based on the Transport Triggered Architecture. The interaction between two important phases in a compiler, instruction scheduling and...doctoral thesis 2001
- document
- Cilio, A.G.M. (author) doctoral thesis 2002
- document
-
Lourenco, D. (author), Oliveira, P. (author), Noort, A. (author), Bidarra, R. (author)In current commercial feature modeling systems, support for direct manipulation of features is not commonly available. This is partly due to the strong reliance of such systems on constraints, but also to the lack of speed of current constraint solvers. In this paper, an approach to the optimization of geometric constraint solving for direct...journal article 2006
- document
-
Moscu Panainte, E. (author)In this dissertation, we present the Molen compiler framework that targets reconfigurable architectures under the Molen Programming Paradigm. More specifically, we introduce a set of compiler optimizations that address one of the main shortcomings of the reconfigurable architectures, namely the reconfiguration overhead. The proposed...doctoral thesis 2007
- document
-
Van den Haak, P. (author), Cheung, M. (author)Major research efforts in Bioinformatics include sequence alignment, gene finding, genome assembly, protein structure alignment, protein structure prediction, prediction of gene expression and protein-protein interactions, and the modeling of evolution. To perform these specific tasks different tools are used. Using these tools separately is a...bachelor thesis 2008
- document
-
Vielvoije, E. (author)In model checking a formal model of a software system is constructed. That model is verified against a set of properties expressed in some logic. Once a model has been created and verified, it is still necessary to write the application itself completely by hand. No tools have yet been developed that can automatically create a system or...master thesis 2008
- document
-
Nikbakht, M. (author), Wells, G.N. (author)The automated approximation of solutions to differential equations which involve discontinuities across evolving surfaces is addressed. Finite element technology has developed to the point where it is now possible to model evolving discontinuities independently of the underlying mesh, which is particularly useful in simulating failure of solids....journal article 2009
- document
-
Schoneveld, G.J. (author)VHDL and SystemC are both languages to describe or model circuits and systems. Reasons could exist for wanting to translate a model in VHDL to an equivalent model in SystemC. A system in SystemC can be needed for modeling a system with a software part, for a faster simulation, or because some tools only support SystemC. This thesis presents a...master thesis 2009
- document
-
De Smalen, S. (author)Vectorizing code for short vector architectures as employed by today’s multimedia extensions comes with a number of issues. The responsibilities of these issues are moved to the compiler in order to keep hardware simple. One of those issues is memory-alignment, which requires the compiler to guarantee loading and storing vectors at aligned...master thesis 2009
- document
-
Sloane, A.M. (author), Kats, L.C.L. (author), Visser, E. (author)This paper is a pre-print of: Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser. A Pure Object-Oriented Embedding of Attribute Grammars. In T. Ekman and J. Vinju, editors, Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA’09), Electronic Notes in Theoretical Computer Science. York, United Kingdom, March...report 2009
- document
-
Sloane, A.M. (author), Kats, L.C.L. (author), Visser, E. (author)Attribute grammars are a powerful specification paradigm for many language processing tasks, particularly semantic analysis of programming languages. Recent attribute grammar systems use dynamic scheduling algorithms to evaluate attributes by need. In this paper, we show how to remove the need for a generator, by embedding a dynamic approach in...journal article 2010
- document
- Corina, M. (author) master thesis 2010
- document
-
Broeders, J.Z.M. (author)Modern embedded systems are far to complex to describe their hardware and software at a low-level of abstraction. SystemC is a popular modeling language which can be used to specify systems at a higher abstraction level. The primary way to deal with complexity in SystemC is to apply modularization. The module hierarchy of a SystemC model is...master thesis 2010
- document
-
Kats, L.C. (author), Visser, E. (author)Software platforms such as the Java Virtual Machine or the CLR .NET virtual machine have their own ecosystem of a core programming language or instruction set, libraries, and developer community. Programming languages can target multiple software platforms to increase interoperability or to boost performance. Introducing a new compiler backend...report 2010
- document
-
Nawaz, Z.N. (author)Reconfigurable computing, in which general purpose processor (GPP) is augmented with one or more FPGAs, is increasingly used for high-performance computing where massive fine-grain parallelism and pipelining can be exploited. A challenge is to exploit such massive parallelism on FPGAs and more specifically how to map an application on the...doctoral thesis 2011
- document
-
Dragomir, O.S. (author)The focus of this dissertation is on kernel loops (K-loops), which are loop nests that contain hardware mapped kernels in the loop body. In this thesis, we propose methods for improving the performance of such K-loops, by using standard loop transformations for exposing and exploiting the coarse grain loop level parallelism. We target a...doctoral thesis 2011
- document
-
Kats, L.C.L. (author), Vermaas, R. (author), Visser, E. (author)The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as domain-specific languages, often remain untested. General-purpose testing techniques and test...report 2011
- document
-
Sima, V.M. (author)In this dissertation, we address the problem of runtime adaptation of the application to its execution environment. A typical example is changing theprocessing element on which a computation is executed, considering the available processing elements in the system. This is done based on the information and instrumentation provided by the compiler...doctoral thesis 2012
- document
-
Van Berkel, S.E.F. (author)In recent years, large-scale systems have become mainstream at a very high pace. Typical examples of large-scale systems are MANETs, Wireless Sensor Networks, Pervasive Computing, Swarm Robotics, etc. These systems distinguish them- selves by the large number of devices they embody, and emergent behaviors they exhibit: Behavior that is globally...master thesis 2012