Sökning: "Peter Fritzson"

Visar resultat 11 - 15 av 26 avhandlingar innehållade orden Peter Fritzson.

  1. 11. Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation

    Författare :Mahder Gebremedhin; Peter Fritzson; Erwin Laure; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Modelling; Simulation; Multi-core; Automatic Parallelization; Clustering; Scheduling; Explicit Parallelization; ParModelica; Task Systems; GPGPU;

    Sammanfattning : The move from single-core processor systems to multi-core and manyprocessor systems comes with the requirement of implementing computations in a way that can utilize these multiple computational units efficiently. This task of writing efficient parallel algorithms will not be possible without improving programming languages and compilers to provide the supporting mechanisms. LÄS MER

  3. 12. Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models

    Författare :Mahder Gebremedhin; Peter Fritzson; Francesco Casella; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation; Modelling; Parallel Programming; Mutli-core; Modelcia; OpenModelica; ParModelica;

    Sammanfattning : The move from single core and processor systems to multi-core and many-processors systemscomes with the requirement of implementing computations in a way that can utilizethese multiple units eciently. This task of writing ecient multi-threaded algorithmswill not be possible with out improving programming languages and compilers to providethe mechanisms to do so. LÄS MER

  4. 13. Automatic Parallelization using Pipelining for Equation-Based Simulation Languages

    Författare :Håkan Lundvall; Peter Fritzson; Welf Löwe; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Equation-Based languages; automatic parallelization; Modelica; simulation; Ekvationsbaserade språk; automatisk parallellisering; Modelica; simulering; Computer science; Datalogi;

    Sammanfattning : During the most recent decades modern equation-based object-oriented modeling and simulation languages, such as Modelica, have become available. This has made it easier to build complex and more detailed models for use in simulation. LÄS MER

  5. 14. Resource-Predictable and Efficient Monitoring of Events

    Författare :Jonas Mellin; Sten F. Andler; Sharma Chakravarthy; Ulf Nilsson; Peter Fritzson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; composition; efficiency; event; formalization; monitoring; performance; predictability; real-time systems; time complexity; timeliness; Computer science; Datavetenskap;

    Sammanfattning : We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. LÄS MER

  7. 15. Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration

    Författare :Alachew Mengist; Adrian Pop; Peter Fritzson; Christian König; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes. The development of increasingly complex CPSs requires the use of multiple tools for different phases of the development lifecycle, which in turn depends on the ability of the supporting tools to interoperate. LÄS MER