Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. EMSOFT 2001: Tahoe City, CA, USA
- Thomas A. Henzinger, Christoph M. Kirsch:
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Lecture Notes in Computer Science 2211, Springer 2001, ISBN 3-540-42673-6 - Perry Alexander, Cindy Kong:
Heterogeneous Modeling Support for Embedded Systems Design. 1-13 - Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas
, Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems. 14-31 - Albert Benveniste:
Some Synchronization Issues When Designing Embedded Systems from Components. 32-49 - Gérard Berry:
Synchronous Programming Techniques for Embedded Systems: Present and Future. 50 - Manfred Broy, Oscar Slotosch:
From Requirements to Validated Embedded Systems. 51-65 - Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang:
Usage Scenarios for an Automated Model Compiler. 66-79 - Paul Caspi:
Embedded Control: From Asynchrony to Synchrony and Back. 80-96 - Patrick Cousot, Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives. 97-113 - David E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo:
A Network-Centric Approach to Embedded Software for Tiny Devices. 114-130 - Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi:
Storage Allocation for Real-Time, Embedded Systems. 131-147 - Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design. 148-165 - Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming. 166-184 - Walid Taha, Paul Hudak, Zhanyong Wan:
Directions in Functional Programming for Real(-Time) Applications. 185-203 - Kevin Jeffay, Steve Goddard:
Rate-Based Resource Allocation Models for Embedded Systems. 204-222 - Hermann Kopetz:
The Temporal Specification of Interfaces in Distributed Real-Time Systems. 223-236 - Edward A. Lee, Yuhong Xiong:
System-Level Types for Component-Based Design. 237-253 - Sharad Malik:
Embedded Software Implementation Tools for Fully Programmable Application Specific Systems. 254-256 - Krishna V. Palem, Surendranath Talla, Weng-Fai Wong:
Compiler Optimizations for Adaptive EPIC Processors. 257-273 - Wolfgang Pree, Alessandro Pasetti:
Embedded Software Market Transformation through Reusable Frameworks. 274-286 - Ragunathan Rajkumar:
An End-To-End Methodology for Building Embedded Systems. 287-288 - William S. Beebee, Martin C. Rinard:
An Implementation of Scoped Memory for Real-Time Java. 289-305 - John M. Rushby:
Bus Architectures for Safety-Critical Embedded Systems. 306-323 - Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design. 324-343 - Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry:
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software. 344-360 - Douglas C. Schmidt:
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. 361-372 - Joseph Sifakis:
Modeling Real-Time Systems-Challenges and Work Directions. 373-389 - John A. Stankovic:
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems. 390-402 - Janos Sztipanovits, Gabor Karsai:
Embedded Software: Challenges and Opportunities. 403-415 - Lothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert:
Embedded Software in Network Processors - Models and Algorithms. 416-434 - Tunc Simsek, Pravin Varaiya:
Design of Autonomous, Distributed Systems. 435-450 - Pam Binns, Steve Vestal:
Formalizing Software Architectures for Embedded Systems. 451-468 - Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm:
Reliable and Precise WCET Determination for a Real-Life Processor. 469-485 - Niklaus Wirth:
Embedded Systems and Real-Time Programming. 486-492 - Wayne H. Wolf:
Embedded Software for Video. 493-502
a service of 
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-05-14 21:23 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:
