Sökning: "computer simulation"

Visar resultat 1 - 5 av 792 avhandlingar innehållade orden computer simulation.

  1. 1. Rigorous Simulation : Its Theory and Applications

    Författare :Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER

  2. 2. Understanding Multicore Performance : Efficient Memory System Modeling and Simulation

    Författare :Andreas Sandberg; Erik Hagersten; David Black-Schaffer; David A. Wood; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Architecture; Simulation; Modeling; Sampling; Caches; Memory Systems; gem5; Parallel Simulation; Virtualization; Sampling; Multicore; Datavetenskap; Computer Science;

    Sammanfattning : To increase performance, modern processors employ complex techniques such as out-of-order pipelines and deep cache hierarchies. While the increasing complexity has paid off in performance, it has become harder to accurately predict the effects of hardware/software optimizations in such systems. LÄS MER

  3. 3. Computer Simulation of the Neural Control of Locomotion in the Cat and the Salamander

    Författare :Nalin Harischandra; Örjan Ekeberg; Silvia Gruhn; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Locomotion; Computer simulation; Central pattern generator; System identification; Gait transition; Sensory feedback; Spiking neural networks;

    Sammanfattning : Locomotion is an integral part of a whole range of animal behaviours. The basic rhythm for locomotion in vertebrates has been shown to arise from local networks residing in the spinal cord and these networks are known as central pattern generators (CPG). LÄS MER

  4. 4. Measurement and Simulation Based Techniques for Real-Time Systems Analysis

    Författare :Markus Lindgren; Hans Hansson; Jörgen Hansson; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Computer science; Datavetenskap; Datavetenskap; Computer Systems; Datorteknik;

    Sammanfattning : Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses.  Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. LÄS MER

  5. 5. Enabling Timing Analysis of Complex Embedded Software Systems

    Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. LÄS MER