„Embedded Systems“

Suchergebnisse

2.888 Treffer

• The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control
  Magnani, Gabriele ; Cattaneo, Daniele ; Chiari, Michele ; Agosta, Giovanni 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Allocation of Basic Blocks Based on Runtime and Memory Requirements in Embedded Real-Time Systems with Hierarchical Memory Layout
  Jungklass, Philipp ; Berekovic, Mladen 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
  Martins, José ; Tavares, Adriano ; Solieri, Marco ; Bertogna, Marko ; Pinto, Sandro 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems
  Warg, Fredrik ; Skoglund, Martin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Contiki-Based IoT Systems
  Durmaz, Caglar ; Challenger, Moharram ; Dagdeviren, Orhan ; Kardas, Geylani 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static analysis of WCET in a satellite software subsystem
  Garrido, Jorge ; Zamorano, Juan ; de la Puente, Juan A. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
  Santos, André C. ; Cardoso, João M. P. ; Diniz, Pedro C. ; Ferreira, Diogo R. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Adaptable Value-Set Analysis for Low-Level Code
  Brauer, Jörg ; Hansen, René Rydhof ; Kowalewski, Stefan ; Larsen, Kim G. ; Olesen, Mads Chr. 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysis of WCET in an experimental satellite software development
  Garrido, Jorge ; Brosnan, Daniel ; de la Puente, Juan A. ; Alonso, Alejandro ; Zamorano, Juan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded Systems
  Lipphardt, Martin ; Glombitza, Nils ; Neumann, Jana ; Werner, Christian ; Fischer, Stefan 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedded Process Functional Language
  Bĕhálek, Marek ; Šaloun, Petr 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• INFER: Interactive Timing Profiles based on Bayesian Networks
  Zolda, Michael 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
  Wilhelm, Stephan ; Wachter, Björn 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• PLRU Cache Domino Effects
  Berg, Christoph 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Abstraction in Modular Verification of Synchronous Adaptive Systems
  Schaefer, Ina ; Poetzsch-Heffter, Arnd 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 2005 WCET Preface -- Message from the Workshop Chair
  Wilhelm, Reinhard 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)
  Fränzle, Martin ; Kapinski, James ; Prabhakhar, Pavithra
• Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052)
  Gerndt, Hans Michael ; Glaß, Michael ; Parameswaran, Sri ; Rountree, Barry L.
• The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
  Méry, Dominique ; Schätz, Bernhard ; Wassyng, Alan
• Synchronous Programming (Dagstuhl Seminar 13471)
  Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus