default search action
5. EMSOFT 2005: Jersey City, New Jersey, USA
- Wayne H. Wolf:
EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings. ACM 2005, ISBN 1-59593-091-4
Communication and devices
- Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam:
HAIL: a language for easy and correct device access. 1-9 - Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. 10-16 - Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal:
Centralized end-to-end flow control in a best-effort network-on-chip. 17-20 - Neal K. Bambha, Shuvra S. Bhattacharyya:
Communication strategies for shared-bus embedded multiprocessors. 21-24
Modeling
- Ethan K. Jackson, Janos Sztipanovits:
Using separation of concerns for embedded systems design. 25-34 - Kai Chen, Janos Sztipanovits, Sandeep Neema
:
Toward a semantic anchoring infrastructure for domain-specific modeling languages. 35-43 - Bui Minh Duc:
Uniform object modeling methodology and reuse of real-time system using UML. 44-47 - Vugranam C. Sreedhar, Maria-Cristina V. Marinescu:
From statecharts to ESP: programming with events, states and predicates for embedded systems. 48-51
Languages
- Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau:
High performance annotation-aware JVM for Java cards. 52-61 - Johannes Helander:
Deeply embedded XML communication: towards an interoperable and seamless world. 62-67 - David F. Bacon, Perry Cheng, David Grove
High-level real-time programming in Java. 68-78
Panel
- Grant Martin, Daniel Gajski, David Goodwin, Patrick Lysaght, Peter Marwedel, Mike Muller, Jeff Welser:
What will system level design be when it grows up? 123
Scheduling
- Ernesto Wandeler, Lothar Thiele:
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. 80-89 - Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. 90-99 - Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines. 100-109 - Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada:
A GA-based scheduling method for FlexRay systems. 110-113
Optimization
- Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson:
Using de-optimization to re-optimize code. 114-123 - Yi-Ping You
A sink-n-hoist framework for leakage power reduction. 124-133 - Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy:
Exploiting last idle periods of links for network power management. 134-137 - Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. 138-141
Design methodologies
- Alex Xiang Feng:
Towards real-time enabled Microsoft Windows. 142-146 - Graham R. Hellestrand:
Systems architecture: the empirical way: abstract architectures to 'optimal' systems. 147-158 - Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya:
A unified HW/SW interface model to remove discontinuities between HW and SW design. 159-163
Specification and semantics
- Grégoire Hamon:
A denotational semantics for stateflow. 164-172 - Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
A conservative extension of synchronous data-flow with state machines. 173-182 - Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. 183-186 - Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models. 187-190
Compilation and power
- Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. 191-202 - Jun Yan, Wei Zhang:
Compiler-guided register reliability improvement against soft errors. 203-209 - Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems. 210-213 - Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger:
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. 214-217
Clocks and energy
- Selim Gurun, Chandra Krintz:
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. 218-226 - Guilin Chen, Mahmut T. Kandemir:
Optimizing inter-processor data locality on embedded chip multiprocessors. 227-236 - Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. 237-246 - Jian-Jia Chen
(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor. 247-250 - Ruibin Xu, Daniel Mossé, Rami G. Melhem:
Minimizing expected energy in real-time embedded systems. 251-254
Formal methods
- Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. 255-263 - Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems. 264-272 - Jie Liu, Elaine Cheong, Feng Zhao:
Semantics-based optimization across uncoordinated tasks in networked embedded systems. 273-281 - Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. 282-285 - Lee Pike, Steven D. Johnson:
The formal verification of a reintegration protocol. 286-289
Software testing
- John Regehr:
Random testing of interrupt-driven software. 290-298 - Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. 299-306 - Xiushan Feng, Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software. 307-316
Specification and dynamic properties
- Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. 317-324 - Marco Zennaro
Distributing synchronous programs using bounded queues. 325-334 - Simon Oberthür, Carsten Böke, Björn Griese:
Dynamic online reconfiguration for customizable and self-optimizing operating systems. 335-338 - Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. 339-342
Real time properties
- Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan:
Passive mid-stream monitoring of real-time properties. 343-352 - Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi:
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. 353-360 - Qiuhua Cao, John A. Stankovic:
Dual face phased array radar scheduling with multiple constraints. 361-370 - Gabor Madl, Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition. 371-374
Panel
- Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao:
Grand challenges in embedded systems. 333
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-19 22:01 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: