Sökning: "Computer simulation"

Visar resultat 1 - 5 av 728 avhandlingar innehållade orden Computer simulation.

  1. 1. Exhaustion Dominated Performance : Methodology, Tools and Empirical Experiments

    Detta är en avhandling från Göteborg : Chalmers University of Technology and Göteborg University

    Författare :Nima Namaki; Högskolan Väst.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Computer engineering; Datateknik; Computer cluster; resource exhaustion; measurement methodology; verification methods; engineering simulation applications; engineering simulation applications.;

    Sammanfattning : Problem with application sensitivity to insufficient resources in High PerformanceComputing (HPC) clusters has been a longstanding issue of concern for industries. Inthis thesis we propose a method based on a black box approach for characterizationand analysis of engineering simulation applications with respect to available hardwareresources in the situation of resource depletion. LÄS MER

  2. 2. Rigorous Simulation Its Theory and Applications

    Detta är en avhandling från Halmstad : Halmstad University Press

    Författare :Adam Duracz; Högskolan i Halmstad.; [2016]
    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. 3. Understanding Multicore Performance Efficient Memory System Modeling and Simulation

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Andreas Sandberg; Uppsala universitet.; Uppsala universitet.; [2014]
    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. 4. Computer Simulation of the Neural Control of Locomotion in the Cat and the Salamander

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Nalin Harischandra; KTH.; [2011]
    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. 5. Measurement and simulation based techniques for real-time systems analysis

    Detta är en avhandling från Uppsala University

    Författare :Markus Lindgren; Uppsala universitet.; Uppsala universitet.; [2000]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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