default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. EMSOFT 2007: Salzburg, Austria
- Christoph M. Kirsch, Reinhard Wilhelm:
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. ACM 2007, ISBN 978-1-59593-825-1 - Jane W.-S. Liu:
User-centered semiautomatic assistive devices. 1
Panel
- Christoph M. Kirsch, Reinhard Wilhelm:
Grand challenges in embedded software. 2-6
Tutorials
- Patrick Cousot:
Proving the absence of run-time errors in safety-critical avionics code. 7-9 - Lothar Thiele:
Performance analysis of distributed embedded systems. 10
Formal methods
- Simon Bliudze, Joseph Sifakis:
The algebra of connectors: structuring interaction in BIP. 11-20 - Alessandro Pinto
, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. 21-29 - David Monniaux:
Verification of device drivers and intelligent controllers: a case study. 30-36
Scheduling
- Ruibin Xu, Rami G. Melhem, Daniel Mossé:
A unified practical approach to stochastic DVS scheduling. 37-46 - Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini:
Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. 47-56 - Orlando Moreira, Frederico Valente, Marco Bekooij:
Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor. 57-66 - Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems. 67-74
Optimisation
- Haifeng He, Saumya K. Debray, Gregory R. Andrews:
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. 75-83 - David C. Snowdon, Stefan M. Petters, Gernot Heiser:
Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. 84-93 - Jiwon Hahn, Pai H. Chou:
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency. 94-103 - Arne Hamann, Razvan Racu, Rolf Ernst:
Methods for multi-dimensional robustness optimization in complex embedded systems. 104-113
Synchronous languages
- Edward A. Lee, Haiyang Zheng:
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. 114-123 - Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization. 124-133 - Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens:
Virtual execution of AADL models via a translation into synchronous programs. 134-143
Flash
- Dongwon Kang, Dawoon Jung, Jeong-Uk Kang, Jin-Soo Kim:
mu-tree: an ordered index structure for NAND flash memory. 144-153 - Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Uniformity improving page allocation for flash memory file systems. 154-163 - In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Exploiting non-volatile RAM to enhance flash file system performance. 164-173 - Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Block recycling schemes and their cost-based optimization in nand flash memory based storage system. 174-182
Performance
- Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed:
Performance estimation of distributed real-time embedded systems by discrete event simulations. 183-192 - Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour:
Influence of different system abstractions on the performance analysis of distributed real-time systems. 193-202 - Rathijit Sen, Y. N. Srikant:
WCET estimation for executables in the presence of data caches. 203-212 - Changhee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim:
Performance characterization of prelinking and preloadingfor embedded systems. 213-220
Models of computation
- Roumen Kaiabachev, Walid Taha, Angela Yun Zhu:
E-FRP with priorities. 221-230 - Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling. 231-239 - Vijay D'Silva, Sampada Sonalkar, S. Ramesh:
Existential abstractions for distributed reactive systems via syntactic transformations. 240-248
Implementations
- Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley:
Design and implementation of a comprehensive real-time java virtual machine. 249-258 - Gernot Gebhard, Sebastian Altmeyer:
Optimal task placement to improve cache performance. 259-268 - Michael Roitzsch:
Slice-balancing H.264 video encoding for improved scalability of multicore decoding. 269-278 - Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin:
SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems. 279-288
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 2026-03-28 22:18 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:
