Search for dissertations about: "risc"
Showing result 11 - 15 of 19 swedish dissertations containing the word risc.
-
11. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software
Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE
-
12. Integrated Register Allocation and Instruction Scheduling with Constraint Programming
Abstract : This dissertation proposes a combinatorial model, program representations, and constraint solving techniques for integrated register allocation and instruction scheduling in compiler back-ends. In contrast to traditional compilers based on heuristics, the proposed approach generates potentially optimal code by considering all trade-offs between interdependent decisions as a single optimization problem. READ MORE
-
13. Hardware Architecture for Protocol Processing
Abstract : Protocol processing is increasingly important. Through the years the hardware architectures for network equipment have evolved constantly. It is important to make a difference between terminals and routers and the different processing tasks they encounter. It is also important to analyze in detail the functional coverage of a hardware architecture. READ MORE
-
14. Code Optimisation Techniques for Lazy Functional Languages
Abstract : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. READ MORE
-
15. Aspects of system-on-chip design for FPGAs
Abstract : Due to the increasing NRE costs of recent ASICs, the use of FPGAs is expected to continue to increase. While the first FPGAs were limited devices useful mainly for glue logic, todays FPGAs are highly capable devices used in many different application areas including telecommunication, multimedia, medical, and automotive. READ MORE