Pages
- 1
- 2
- document
-
Kortbeek, V. (author)The Internet of Things (IoT) is taking the world by storm, from smart lights to smart plant monitoring. This revolution is not only present in consumers’ homes, but companies are also looking for more and more ways to monitor every aspect of their production process. This transition to ubiquitous monitoring is made possible by extremely low...doctoral thesis 2023
- document
-
TIAN, YONGDING (author)Transferring composite data structures with variable-length fields often requires designing non-trivial protocols that are not compatible between hardware designs. When each project designs its own data format and protocols the ability to collaborate between hardware developers is diminished, which is an issue especially in the open-source...master thesis 2022
- document
-
Kortbeek, V. (author), Ghosh, Souradip (author), Hester, Josiah (author), Campanoni, Simone (author), Pawełczak, Przemysław (author)Intermittently operating embedded computing platforms powered by energy harvesting require software frameworks to protect from errors caused by Write After Read (WAR) dependencies. A powerful method of code protection for systems with non-volatile main memory utilizes compiler analysis to insert a checkpoint inside each WAR violation in the...conference paper 2022
- document
-
Mrahorović, Mirza (author)Deep Neural Network (DNNs) have increased significantly in size over the past decade. Partly due to this, the accuracy of DNNs in image classification and speech recognition tasks has increased as well. This enables a great potential for such models to be applied in real-world applications. However, due to their size, the compute and power...master thesis 2021
- document
-
van der Meer, Tim (author)The rapid progress quantum devices have made in recent years has led to the need for systems that bridge the gap between quantum algorithms and quantum hardware. To this purpose different full-stack quantum programming platforms have been developed, providing high level languages for expressing quantum algorithms and providing compilers for...master thesis 2021
- document
-
Bot, Bernard (author)Compilers translate high-level source code into low-level machine code. To represent source code a compiler uses a language called the intermediate representation (IR). An IR for the compilation of functional languages is continuation-passing style (CPS). It provides convenient abstractions for both data flow and control flow. However, CPS...master thesis 2021
- document
-
van Rijnsoever, Xavier (author)Software bugs in many different variants can potentially leak sensitive data to an attacker. Implementing a separation mechanism for security domains can prevent incorrect or malicious code to leak sensitive data from one security domain to another. This work presents a separation mechanism based on labeling security domains with a label in...master thesis 2020
- document
-
Rogers, Eben (author), Sebus, Siert (author), Polet, Wouter (author), Angelova, Yana (author), van den Akker, Yoshi (author)Raccoon Serious Games develops and hosts educational activities such as escape room events and serious games. They create both physically- and digitally-based escape rooms across many different scales. These events consist of a variety of puzzles and tasks the player(s) have to solve in order to finish or `escape' the event. For their digitally...bachelor thesis 2020
- document
-
de Haan, Erwin (author)Despite its advantages in performance and control, hardware design is mainly bottlenecked by high design complexity and long development time. This thesis explores the use of domain specific languages for high-level synthesis (HLS) of hardware data filters and transformations.<br/>The main goal of this thesis’ prototype is automating the...master thesis 2019
- document
-
Smits, J. (author)Green-Marl is a domain specific language for efficient graph analysis. In this thesis, we define the formal static semantics of the language and provide an implementation in the Spoofax language workbench. The type system of Green-Marl includes limited forms of name-dependent types, overloading, parametric polymorphism, and inference. We give a...master thesis 2016
- document
-
Nane, R. (author)Reconfigurable Architectures (RA) have been gaining popularity rapidly in the last decade for two reasons. First, processor clock frequencies reached threshold values past which power dissipation becomes a very difficult problem to solve. As a consequence, alternatives were sought to keep improving the system performance. Second, because Field...doctoral thesis 2014
- document
-
Melman, C.M. (author)Mobile developement is a relatively new and popular domain for applications. An increasing amount of web applications are releasing a mobile variant of their application, which requires sharing of data. Currently, the creation of a mobile version can be done in two ways: a specialized web UI for mobile devices, which lacks good abstractions for...master thesis 2014
- document
-
Ølgaard, K.B. (author)In engineering, physical phenomena are often described mathematically by partial differential equations (PDEs), and a commonly used method to solve these equations is the finite element method (FEM). Implementing a solver based on this method for a given PDE in a computer program written in source code can be tedious, time consuming and error...doctoral thesis 2013
- document
-
Simoes Dias Vieira, A.M. (author)Domain-specific Languages (DSLs) are languages specifically tailored for an application or expert domain. These can be implemented as compilers, which check the correctness of an input program and translates it to a target language. Manual testing of compilers is a time consuming and labor intensive task. This motivates the development of...master thesis 2013
- document
-
Vahedi, M. (author)Instruction scheduling aims to reorder instructions in such a way that it covers the delay between an instruction and its dependent successor(s). As a result, the length of schedules are shortened while the processor utilisation increases. This is accomplished by exploiting Instruction Level Parallelism (ILP). The rearrangements made by...master thesis 2013
- document
-
Shankar, A. (author)A clustered architecture is a viable design choice when aiming to increase the performance of a VLIW processor while avoiding the hardware complexity and increased access times associated with a centralized register file. However, this places additional responsibility on the compiler: the production of an efficient cluster assignment. In this...master thesis 2013
- document
-
Nikbakht, M. (author)Although computers were invented to automate tedious and error-prone tasks, computer programming is a tedious and error-prone task itself. This is a well-known paradox in the field of computational mathematical modelling. Recently, automatic code generation has been proposed to solve this paradox. In this approach, a required code to model...doctoral thesis 2012
- document
-
Chahar, A. (author)Transactional Memory is a parallel programming paradigm in which tasks are executed, in forms of transactions, concurrently by different resources in a system and resolve conflicts between them at run-time. Conflicts, caused by data dependencies, result in aborts and restarts of transactions, thus, degrading the performance of the system. In...master thesis 2012
- 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
-
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
Pages
- 1
- 2