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