Sökning: "David Broman"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden David Broman.

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

3. 2. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments

   Författare :David Broman; Peter Fritzson; Henrik Nilsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modeling; Simulation; Equation-Based; Object-Oriented; Modelica; Type System; Semantics; Language Safety; Secure Simulation; Computer science; Datavetenskap;

   Sammanfattning : During the last two decades, the interest for computer aided modeling and simulation of complex physical systems has witnessed a significant growth. The recent possibility to create acausal models, using components from different domains (e.g., electrical, mechanical, and hydraulic) enables new opportunities. LÄS MER

4. 3. Computational modelling of blood flow in medical assist devices

   Författare :Francesco Fiusco; Lisa Prahl Wittberg; Lars Mikael Broman; Anders Dahlkild; David Ku; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; computational fluid dynamics; haemodynamics; platelet activation; thrombogenicity; haemolysis; extracorporeal membrane oxygenation; sensitivity; Teknisk mekanik; Engineering Mechanics;

   Sammanfattning : Extracorporeal membrane oxygenation (ECMO) is a life-saving support treat-ment in case of pulmonary and/or cardiac failure. An artificial extracorporealcircuit is used to offload the function of lungs and/or heart. LÄS MER

5. 4. Static Execution Time Analysis of Parallel Systems

   Författare :Andreas Gustavsson; Björn Lisper; Jan Gustafsson; Andreas Ermedahl; David Broman; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; WCET analysis; parallel systems; multi-core; multicore; threaded programming language; Computer Science; datavetenskap;

   Sammanfattning : The past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism is no longer feasible due to extensive power consumption and heat dissipation. Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. LÄS MER

7. 5. Software Diversity for Third-Party Dependencies

   Författare :Nicolas Harrand; Benoit Baudry; Martin Monperrus; David Broman; Ville Leppänen; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated Software Engineering; Software Diversity; Software libraries; Software Monoculture; Computer Science; Datalogi;

   Sammanfattning : Thanks to the emergence of package managers and online software repositories, modern software development heavily relies on the reuse of third-party libraries. This practice has significant benefits in terms of productivity and reliability. LÄS MER