default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. EMSOFT 2002: Grenoble, France
- Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis:
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Lecture Notes in Computer Science 2491, Springer 2002, ISBN 3-540-44307-X - Amir Pnueli:
Embedded Systems: Challenges in Specification and Verification. 1-14 - Nancy G. Leveson:
An Approach to Designing Safe Embedded Software. 15-29 - David Harel:
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). 30-31 - Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry:
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. 32-45 - Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree:
A Giotto-Based Helicopter Control System. 46-60 - Christoph M. Kirsch:
Principles of Real-Time Programming. 61-75 - Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
Time-Safety Checking for Embedded Programs. 76-92 - Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis. 93-107 - Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. 108-122 - Stavros Tripakis:
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. 123-137 - Darren D. Cofer, Murali Rangarajan:
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. 138-152 - Giorgio C. Buttazzo:
Scalable Applications for Energy-Aware Processors. 153-165 - Lui Sha:
Upgrading Embedded Software in the Field: Dependability and Survivability. 166-181 - Aloysius K. Mok, Alex Xiang Feng:
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. 182-196 - Bertrand Delsart, Vania Joloboff, Eric Paire:
JCOD: A Lightweight Modular Compilation Technology for Embedded Java. 197-212 - Tobias Ritzau, Peter Fritzson:
Decreasing Memory Overhead in Hard Real-Time Garbage Collection. 213-226 - Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
:
Speedup Prediction for Selective Compilation of Embedded Java Programs. 227-239 - Nicolas Halbwachs, Siwar Baghdadi:
Synchronous Modelling of Asynchronous Systems. 240-251 - Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. 252-265 - Alain Girault, Clément Ménier:
Automatic Production of Globally Asynchronous Locally Synchronous Systems. 266-281 - Douglas C. Schmidt:
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. 282-293 - Paul Caspi, Albert Benveniste:
Toward an Approximation Theory for Computerised Control. 294-304 - Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher:
A New Facility for Dynamic Control of Program Execution: DELI. 305-318 - Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh:
Design Tools for Application Specific Embedded Processors. 319-333 - Jakob Engblom, Bengt Jonsson:
Processor Pipelines and Their Properties for Static WCET Analysis. 334-348 - Henrik Theiling:
ILP-Based Interprocedural Path Analysis. 349-363 - Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary:
Enhancing Compiler Techniques for Memory Energy Optimizations. 364-381 - Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery:
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. 382-398 - Bran Selic:
Physical Programming: Beyond Mere Logic. 399-406 - Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe:
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. 407-416
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-12 21:04 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:
