default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. EMSOFT 2004: Pisa, Italy
- Giorgio C. Buttazzo:
EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. ACM 2004, ISBN 1-58113-860-1
Keynote Addresses
- A. Richard Newton:
Great works for the 21st century: a critical role for the modern research university. 1 - Hideyuki Tokuda:
Smart furniture: a platform for context-aware embedded ubiquitous applications. 2 - Krithi Ramamritham, Rajkumar Sen:
DELite: database support for embedded lightweight devices. 3-4 - Nevin Heintze:
Network processors: a progress report. 5 - Alan C. Kay:
"The computer revolution", "computer science", and "software engineering" haven't happened yet. 6
Operating Systems
- Sapan Bhatia, Charles Consel, Calton Pu:
Remote customization of systems code for embedded devices. 7-15 - Claudio Scordino, Giuseppe Lipari:
Using resource reservation techniques for power-aware scheduling. 16-25 - Sangsoo Park, Yonghee Lee, Heonshik Shin:
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing. 26-33
Verification
- Gopalakrishna Raghavan, Ari Salomäki, Raimondas Lencevicius:
Model based estimation and verification of mobile device performance. 34-43 - Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin:
Separation of concerns: overhead in modeling and efficient simulation techniques. 44-53
Energy-aware systems
- Ruibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Mossé:
Practical PACE for embedded systems. 54-63 - Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li:
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems. 64-73 - Kun Zhang, Tao Zhang, Santosh Pande
:
Binary translation to improve energy efficiency through post-pass register re-allocation. 74-85
Scheduling
- Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang:
WRR-SCAN: a rate-based real-time disk-scheduling algorithm. 86-94 - Luís Almeida, Paulo Pedreiras:
Scheduling within temporal partitions: response-time analysis and server design. 95-103
Programming languages
- Thomas A. Henzinger, Christoph M. Kirsch:
A typed assembly language for real-time programs. 104-113 - Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min:
Compiler-assisted demand paging for embedded systems with flash memory. 114-124 - David F. Bacon, Perry Cheng, David Grove:
Garbage collection for embedded systems. 125-136
Formal methods I
- Marc Geilen, Twan Basten:
Reactive process networks. 137-146 - Jan Carlson, Björn Lisper:
An event detection algebra for reactive systems. 147-154
System design
- Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design. 155-164 - John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis:
Exploiting prescriptive aspects: a design time capability. 165-174 - Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür:
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. 175-183 - De-Jiu Chen, Martin Törngren:
A metrics system for quantifying operational coupling in embedded computer control systems. 184-192
Distributed systems
- Jan Romberg, Andreas Bauer:
Loose synchronization of event-triggered networks for distribution of synchronous programs. 193-202 - Bernd Hardung, Thorsten Kölzow, Andreas Krüger:
Reuse of software in distributed embedded automotive systems. 203-210
Formal methods II
- Michael McDougall, Rajeev Alur, Carl A. Gunter:
A model-based approach to integrating security policies for embedded devices. 211-219 - Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). 220-229
Formal languages
- Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet:
Towards a higher-order synchronous data-flow language. 230-239 - Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne:
Towards direct execution of esterel programs on reactive processors. 240-248 - Oleg Kiselyov, Kedar N. Swadi, Walid Taha:
A methodology for generating verified combinatorial circuits. 249-258 - Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi:
Defining and translating a "safe" subset of simulink/stateflow into lustre. 259-268
Timing analysis
- Matteo Corti, Thomas R. Gross:
Approximation of the worst-case execution time using structural analysis. 269-277 - Jan Staschulat, Rolf Ernst:
Multiple process execution in cache related preemption delay analysis. 278-286 - Noureddine Chabini, Wayne H. Wolf:
An approach for integrating basic retiming and software pipelining. 287-296 - Daniel Citron, Gadi Haber, Roy Levin:
Reducing program image size by extracting frozen code and data. 297-305
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-05-01 23:20 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:
