Sökning: "Abstractions"

Visar resultat 16 - 20 av 91 avhandlingar innehållade ordet Abstractions.

1. 16. Techniques for Efficient Constraint Propagation

   Författare :Mikael Zayenz Lagerkvist; Seif Haridi; Christian Schulte; Pierre Flener; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; Computer science; Datalogi;

   Sammanfattning : This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. LÄS MER

3. 17. Functional Programming for Embedded Systems

   Författare :Abhiroop Sarkar; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

4. 18. Dynamic Abstraction for Interleaved Task Planning and Execution

   Författare :Per Nyblom; Patrick Doherty; Lars Karlsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial Intelligence; Dynamic Abstraction; Task Planning; Automatic Model Construction; Meta-modelling; Computer science; Datavetenskap;

   Sammanfattning : It is often beneficial for an autonomous agent that operates in a complex environment to make use of different types of mathematical models to keep track of unobservable parts of the world or to perform prediction, planning and other types of reasoning. Since a model is always a simplification of something else, there always exists a tradeoff between the model’s accuracy and feasibility when it is used within a certain application due to the limited available computational resources. LÄS MER

5. 19. Improving OpenMP Productivity with Data Locality Optimizations and High-resolution Performance Analysis

   Författare :Ananya Muddukrishna; Mats Brorsson; Nawal Copty; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; OpenMP; Performance Analysis; Scheduling; Locality Optimizations;

   Sammanfattning : The combination of high-performance parallel programming and multi-core processors is the dominant approach to meet the ever increasing demand for computing performance today. The thesis is centered around OpenMP, a popular parallel programming API standard that enables programmers to quickly get started with writing parallel programs. LÄS MER

7. 20. Capability-Based Type Systems for Concurrency Control

   Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Type Systems; Capabilities; Concurrency; Parallelism; Data-Race Freedom; Lock-Free Data Structures; Object-Oriented Programming; Actors; Active Objects; Object Calculi; Semantics;

   Sammanfattning : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. LÄS MER