Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIESS 2013: Paderborn, Germany
- Gunar Schirner, Marcelo Götz
, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig:
Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. IFIP Advances in Information and Communication Technology 403, Springer 2013, ISBN 978-3-642-38852-1
Design Methodologies
- Takuya Azumi, Yasaman Samei Syahkal, Yuko Hara-Azumi, Hiroshi Oyama, Rainer Dömer:
TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component. 1-13 - Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo:
Programming Robots with Events. 14-25 - Jiaxing Zhang, Gunar Schirner:
Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding. 26-38 - Marco A. Wehrmeister, Gian Ricardo Berkenbrock:
Automatic Execution of Test Cases on UML Models of Embedded Systems. 39-48
Non-functional Aspects of Embedded Systems
- Rafael Baldiati Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro, Álvaro F. Moreira:
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. 49-60 - Douglas P. B. Renaux, Fabiana Pöttker:
Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines. 61-72 - Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro:
Low-Power Processors Require Effective Memory Partitioning. 73-81 - Frank Sill Torres:
Enhancement of System-Lifetime by Alternating Module Activation. 82-91
Verification
- Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner:
Model Checking Memory-Related Properties of Hardware/Software Co-designs. 92-103 - Markus Oertel, Achim Rettberg:
Reducing Re-verification Effort by Requirement-Based Change Management. 104-115 - Che-Wei Chang, Rainer Dömer:
Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories. 116-127 - Marcela Simková, Zdenek Prikryl, Zdenek Kotásek, Tomas Hruska:
Automated Functional Verification of Application Specific Instruction-set Processors. 128-138
Performance Analysis
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet:
Compressing Microcontroller Execution Traces to Assist System Analysis. 139-150 - Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou:
Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation. 151-158 - Gustavo Künzel, Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, João Cesar Netto:
A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks. 159-170 - Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada:
Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration. 171-180
ARAMIS Special Session
- Philipp Reinkemeier, Ingo Stierand:
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction. 181-192 - Simon Gansel, Stephan Schnitzer, Frank Dürr, Kurt Rothermel, Christian Maihöfer:
Towards Virtualization Concepts for Novel Automotive HMI Systems. 193-204 - Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg:
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs. 205-217 - Dirk Nowotka, Johannes Traub:
Formal Verification of Concurrent Embedded Software. 218-227 - Stefan Groesbrink:
On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. 228-237
Real-Time Systems
- Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller:
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. 238-249 - Kiyofumi Tanaka:
Adaptive Total Bandwidth Server: Using Predictive Execution Time. 250-261 - Pekka Alho, Jouni Mattila:
Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System. 262-271 - Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand:
Contract-Based Compositional Scheduling Analysis for Evolving Systems. 272-282
Embedded System Applications
- André Heuer, Tobias Kaufmann, Thorsten Weyer:
Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management. 283-292 - Katharina Gilles, Stefan Groesbrink, Daniel Baldin, Timo Kerstan:
Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems. 293-305 - Bruno Dal Bó Silva, Marcelo Götz:
A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware. 306-317
Real-Time Aspects in Distributed Systems
- Zhenkai Zhang, Xenofon D. Koutsoukos:
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems. 318-330 - Gang Li, Søren Top:
I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications. 331-342 - Sunil Malipatlolla, Ingo Stierand:
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System. 343-352
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
