Sökning: "Björn Lisper"

Visar resultat 1 - 5 av 23 avhandlingar innehållade orden Björn Lisper.

  1. 1. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

    Författare :Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

    Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER

  3. 2. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

    Författare :David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

    Sammanfattning : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. LÄS MER

  4. 3. Parametric WCET Analysis

    Författare :Stefan Bygde; Björn Lisper; Raimund Kirner; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; WCET Analysis; parametric WCET Analysis; WCET; Timing; Computer Science; datavetenskap;

    Sammanfattning : In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. LÄS MER

  5. 4. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

    Författare :Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

    Sammanfattning : In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. LÄS MER

  7. 5. Event Pattern Detection for Embedded Systems

    Författare :Jan Carlson; Björn Lisper; Christer Norström; Kim Larsen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; event pattern detection; event algebra; event monitoring; composite events; embedded systems; Computer science; Datavetenskap; Datavetenskap;

    Sammanfattning : Events play an important role in many computer systems, from small reactive embedded applications to large distributed systems. Many applications react to events generated by a graphical user interface or by external sensors that monitor the system environment, and other systems use events for communication and synchronisation between independent subsystems. LÄS MER