default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. EMSOFT 2012: Tampere, Finland
- Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr:
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1425-1
Keynotes
- Hannu Kauppinen:
Wireless innovations for smartphones. 1-2 - Satnam Singh:
Computing without processors. 3-4 - Jong-Deok Choi:
A standards-based, fully-open software platform for smart embedded systems. 5-6
ESWEEK special session
- Randolf Mock, Moritz Neukirchner, Rolf Ernst, Ruud Wijtvliet, Michael Huetwohl, Pascal Urard, Ovidiu Vermesan:
Internet-of-energy: combining embedded computing and communication for the smart grid. 7-8 - Dan Gunnarsson, Stefan Kuntz, Glenn Farrall, Akihito Iwai, Rolf Ernst:
Trends in automotive embedded systems. 9-10 - Petri Liuha, Kari Pehkonen, Juhani Rummukainen, Veli-Pekka Vatula, Tatu Koljonen:
Research issues in smart phones, notepads and related services. 11-12
Testing and characterization of embedded software
- Patricia López Cueva, Aurélie Bertaux, Alexandre Termier, Jean-François Méhaut, Miguel Santana:
Debugging embedded multimedia application traces through periodic pattern mining. 13-22 - Kisung Lee, Youjip Won:
Smart layers and dumb result: IO characterization of an android-based smartphone. 23-32 - Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller:
XEMU: an efficient QEMU based binary mutation testing framework for embedded software. 33-42
Theoretical aspects of embedded systems
- Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
:
Finite automata with time-delay blocks. 43-52 - Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla:
Synthesis from incompatible specifications. 53-62 - Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele:
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. 63-72
Operating systems
- Luís Nogueira, Luís Miguel Pinho:
Server-based scheduling of parallel real-time tasks. 73-82 - Björn Döbel, Hermann Härtig, Michael Engel:
Operating system support for redundant multithreading. 83-92 - Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig:
Flattening hierarchical scheduling. 93-102
Control theory
- Indranil Saha, Rupak Majumdar:
Trigger memoization in self-triggered control. 103-112 - Yong Fu, Nicholas Kottenstette, Chenyang Lu, Xenofon D. Koutsoukos:
Feedback thermal control of real-time systems on multicore processors. 113-122 - Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of minimal-error control software. 123-132
Hardware support
- Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha:
Shared hardware data structures for hard real-time systems. 133-142 - Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David:
A low-overhead dedicated execution support for stream applications on shared-memory cmp. 143-152 - Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk:
Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams. 153-162
Invited session -- code-Level timing analysis
- Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters:
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. 163-164
Timing analysis
- Archana Ravindar, Y. N. Srikant:
Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. 165-174 - Mikel Fernández, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla:
Assessing the suitability of the NGMP multi-core processor in the space domain. 175-184 - Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij:
Compositional temporal analysis model for incremental hard real-time system design. 185-194
Special session: an overview of the career of Paul Caspi
- Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. 195-196
Languages, formal models and algorithms (1)
- Albert Cohen, Léonard Gérard, Marc Pouzet:
Programming parallelism with futures in lustre. 197-206 - Borislav Nikolic, Stefan M. Petters:
Towards network-on-chip agreement protocols. 207-216 - Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar:
Input-output robustness for discrete systems. 217-226
Languages, formal models and algorithms (2)
- Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
On model based synthesis of embedded control software. 227-236 - Alok Lele, Orlando Moreira, Pieter J. L. Cuijpers:
A new data flow analysis model for TDM. 237-246
Tutorials
- Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun:
Mixed critical system design and analysis. 247-248 - Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification of real-time embedded systems. 249-250
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-12-12 20:46 CET 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:
