Sökning: "Computer simulation"

Visar resultat 1 - 5 av 898 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 :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

3. 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 :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

4. 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 :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

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

   Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
   Nyckelord :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

7. 5. QoS Driven Coordinated Management of Resources to Save Energy in Multi-Core Systems

   Författare :Mehrzad Nejat; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Re-configurable Core Architecture; Dynamic Voltage-Frequency Scaling DVFS ; Energy Efficiency; Quality-of-Service QoS ; Resource Management; Cache Partitioning;

   Sammanfattning : Reducing the energy consumption of computing systems is a necessary endeavor. However, saving energy should not come at the expense of degrading user experience. To this end, in this thesis, we assume that applications running on multi-core processors are associated with a quality-of-service (QoS) target in terms of performance constraints. LÄS MER