Search for dissertations about: "compilation thesis"

Showing result 6 - 10 of 353 swedish dissertations containing the words compilation thesis.

  2. 6. Compilation of mathematical models to parallel code

    Author : Niclas Andersson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Generating parallel code from high-level mathematical models is in its general form an intractable problem. Rather than trying to solve this problem, a more realistic approach is to solve specific problem instances for limited domains. READ MORE

  4. 7. Risk Aware Path Planning and Dynamic Obstacle Avoidance towards Enabling Safe Robotic Missions

    Author : Samuel Karlsson; George Nikolakopoulos; Georgia Chalvatzaki; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Robotic; Path planning; Obstacle avoidanc; Robotic missions; licenti thesis; Robotics and Artificial Intelligence; Robotik och artificiell intelligens;

    Abstract : This compilation thesis presents two main contributions in path planning and obstacle avoidance, as well as an integration of the proposed modules with other frameworks to enable resilient robotic missions in complex environments.In general, through different types of robotic missions it is important to have a collision tolerant and reliable system, both regarding potential risks from collisions with dynamic and static obstacles, but also to secure the overall mission success. READ MORE

  5. 8. Towards a distributed programming environment based on incremental compilation

    Author : Peter Fritzson; Warren Teitelman; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : A Programming Environment is a system that provides computer assistance during software development and maintenance. The primary objective of this work concerns practically usable methods and tools in the construction of incremental and integrated programming environments that provide good support for debugging and testing of programs in a distributed context, in our case a host-target configuration. READ MORE

  6. 9. Tailoring native compilation of Java for real-time systems

    Author : Anders Nilsson; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; systems; numerical analysis; Java; embedded systems; real-time; aspect-oriented; object-oriented; Computer science; compiler construction; control; Datalogi; numerisk analys; system; kontroll;

    Abstract : Our everyday appliances ranging from toys to vehicles, as well as the equipment used to manufacture them, contain an increasing number of embedded computers. Embedded systems software often implement functionality that is crucial for the operation of the device, resulting in a variety of timing requirements and resource utilization constraints to be fulfilled. READ MORE

  7. 10. On Formal Methods for Large-Scale Product Configuration

    Author : Alexey Voronov; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; knowledge compilation; Boolean satisfiability; supervisory control theory; product configuration;

    Abstract : In product development companies mass customization is widely used to achieve better customer satisfaction while keeping costs down. To efficiently implement mass customization, product platforms are often used. A product platform allows building a wide range of products from a set of predefined components. READ MORE