Sökning: "Walid Taha"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Walid Taha.

  1. 1. Multi-Stage Programming : Its Theory and Applications

    Författare :Walid Taha; Oregon Graduate Institute of Science and Technology; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs. 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 :NATURAL SCIENCES; NATURVETENSKAP; 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. 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

  5. 4. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

    Författare :Martin Sjölund; Peter Fritzson; Christoph Kessler; Walid Mohamed Taha; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  7. 5. Resource handling for military training networks

    Författare :Hawar Ramazanali; Vinel Alexey; Magnus Jonsson; Evgeny Osipov; Högskolan i Halmstad; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Connected devices are increasing steadily and the number of devices will in soon future be so massive that they are impacting the next generation of wireless standards and are already being considered in them. Machine-to-Machine (M2M) communications and Internet of Things (IoT) sub fields of wireless communications have developed lately with their own research fields and forums. LÄS MER