Search for dissertations about: "Computer Programming"

Showing result 6 - 10 of 535 swedish dissertations containing the words Computer Programming.

2. 6. Functional Polytypic Programming

   Author : Patrik Jansson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

   Abstract : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. READ MORE

4. 7. Language-based Approaches to Safe and Efficient Distributed Programming

   Author : Xin Zhao; Philipp Haller; Roberto Guanciale; Wolfgang De Meuter; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Distributed systems; Type system; Replicated data types; Computer Science; Datalogi;

   Abstract : Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. Strong consistency ensures that all clients observe consistent data updates atomically on all servers in a distributed system, and it is widely used in systems such as relational databases. READ MORE

5. 8. Functional Programming for Embedded Systems

   Author : Abhiroop Sarkar; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

   Abstract : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. READ MORE

6. 9. Program Analysis for Performance and Reliability

   Author : Jacob Lidman; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

   Abstract : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. READ MORE

7. 10. Design of Energy-Efficient High-Performance ASIP-DSP Platforms

   Author : Andréas Karlsson; Dake Liu; Andreas Ehliar; Jarmo Takala; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : In the last ten years, limited clock frequency scaling and increasing power density has shifted IC design focus towards parallelism, heterogeneity and energy efficiency. Improving energy efficiency is by no means simple and it calls for a reevaluation of old design choices in processor architecture, and perhaps more importantly, development of new programming methodologies that exploit the features of modern architectures. READ MORE