Search for dissertations about: "programming systems"

Showing result 1 - 5 of 539 swedish dissertations containing the words programming systems.

  2. 1. 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

  4. 2. Field Programmable Gate Arrays and Reconfigurable Computing in Automatic Control

    Author : Carl Wilhelmsson; Förbränningsmotorer; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; systems analysis; FPGA; Field Programmable Gate Array; programming; Compendex: Field programmable gate arrays FPGA ; programming environments; computer science; programmable controllers; observers; adaptive control; modelling; closed loop systems; logic CAD; control systems; reconfigurable architectures; field programmable gate arrays; Computer Programming; telecommunication control; Control system applications; Real time control; Computer control systems; Control systems; Engine Control; Heat release analysis; Cylinder pressure; power-train control; Vehicle control; High speed; Rapid Prototyping; Combustion control; Automotive control; Control application; High frequency; Computer control; Feedback Control; Closed loop systems; Control; Reconfigurable computing; Reconfigurable hardware; VLSI; Closed loop control; programmable logic arrays; Automatic Control; System on Chip SoC ;

    Abstract : New combustion engine principles increase the demands on feedback combustion control, at the same time economical considerations currently enforce the usage of low-end control hardware limiting implementation possibilities. Significant development is simultaneously and continuously carried out within the field of Field Programmable Gate Arrays (FPGAs). READ MORE

  5. 3. Representation of Compositional Relational Programs

    Author : Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

    Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE

  6. 4. Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems

    Author : Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; distributed computing; programming systems; programming languages; computer science; domain specific languages; message-passing; actor model; component model; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : Distributed Systems, that is systems that must tolerate partial failures while exploiting parallelism, are a fundamental part of the software landscape today. Yet, their development and design still pose many challenges to developers when it comes to reliability and performance, and these challenges often have a negative impact on developer productivity. READ MORE

  7. 5. Programming Language Primitives and Tools for Integrated Real-Time Systems Development

    Author : Saranya Natarajan; David Broman; Haibo Zeng; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Real-Time System; Programming Language; Compiler; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : The correctness of real-time systems depends on both its logical and temporal correctness. Typically, real-time systems are developed in several steps. First, the application is divided into a number of recurrent tasks and implemented using a programming language. READ MORE