default search action
6. EMSOFT 2006: Seoul, Korea
- Sang Lyul Min, Wang Yi:
Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM 2006, ISBN 1-59593-542-8 - Werner Damm:
Embedded system development for automotive applications: trends and challenges. 1
Design and Implementation of embedded software
- Truong Nghiem
, George J. Pappas
Time-triggered implementations of dynamic controllers. 2-11 - César Sánchez
Efficient distributed deadlock avoidance with liveness guarantees. 12-20 - Christos Sofronis, Stavros Tripakis
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. 21-33
Component-based development and software engineering
- Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov:
Real-time interfaces for composing real-time systems. 34-43 - Ye Zhou, Edward A. Lee
A causality interface for deadlock analysis in dataflow. 44-52 - Ethan K. Jackson, Janos Sztipanovits:
Towards a formal foundation for domain specific modeling languages. 53-62 - Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig:
Defining a strategy to introduce a software product line using existing embedded systems. 63-72
Modeling of synchronous systems
- Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet:
Mixing signals and modes in synchronous data-flow systems. 73-82 - Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié:
Polychronous mode automata. 83-92 - Timothy Bourke, Arcot Sowmya:
A timing model for synchronous language implementations in simulink. 93-101
Networked embedded software
- Ye Wen, Richard Wolski, Selim Gurun:
S2DB: a novel simulation-based debugger for sensor network applications. 102-111 - Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava:
Multi-level software reconfiguration for sensor networks. 112-121 - Madhukar Anand, Sebastian Fischmeister, Insup Lee:
An analysis framework for network-code programs. 122-131
Concurrent real-time programming
- Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
A hierarchical coordination language for interacting real-time tasks. 132-141 - Olivier Tardieu, Stephen A. Edwards
Scheduling-independent threads and exceptions in SHIM. 142-151 - Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Communication by sampling in time-sensitive distributed systems. 152-160
Software support for portable storage
- Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim, Joonwon Lee:
A superblock-based flash translation layer for NAND flash memory. 161-170 - Young-Jin Kim, Kwon-Taek Kwon, Jihong Kim:
Energy-efficient file placement techniques for heterogeneous mobile storage systems. 171-177 - Kevin M. Greenan, Ethan L. Miller:
Reliability mechanisms for file systems using non-volatile memory as a metadata store. 178-187
Compiling and program transformations
- Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon:
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. 188-194 - Okehee Goh, Yann-Hang Lee, Ziad Kaakani:
Schedulable persistence system for teal-time applications in virtual machine. 195-204 - Tolga Ayav
Implementing fault-tolerance in real-time systems by automatic program transformations. 205-214
Energy adaptation and optimization
- Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris
Energy-efficient dynamic memory allocators at the middleware level of embedded systems. 215-222 - Richard Urunuela, Gilles Muller, Julia L. Lawall:
Energy adaptation for multimedia information kiosks. 223-232 - Rahul Nagpal, Y. N. Srikant:
Compiler-assisted leakage energy optimization for clustered VLIW architectures. 233-241
Modeling and validation
- Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL. 242-251 - Venkita Subramonian, Christopher D. Gill, César Sánchez
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. 252-261 - Arindam Chakrabarti, Patrice Godefroid:
Software partitioning for effective automated unit testing. 262-271
Scheduling and execution time analysis
- Arvind Easwaran
Incremental schedulability analysis of hierarchical real-time components. 272-281 - Thao Dang, Philippe Gerner:
Scheduling for multi-threaded real-time programs via path planning. 282-291 - Stephan Thesing:
Modeling a system controller for timing analysis. 292-300
Architectures and performance analysis
- Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan:
New approach to architectural synthesis: incorporating QoS constraint. 301-310 - Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt
Formal performance evaluation of AMBA-based system-on-chip designs. 311-320 - Bernhard Egger
Scratchpad memory management for portable systems with a memory management unit. 321-330
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-11-19 20:51 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: