Sciweavers

158
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Embedded Systems and Real-Time Programming
Niklaus Wirth
183
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Directions in Functional Programming for Real(-Time) Applications
Walid Taha, Paul Hudak, Zhanyong Wan
EMSOFT
2001
Springer
15 years 11 months ago
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
Douglas C. Schmidt
EMSOFT
2001
Springer
15 years 11 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
158
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Storage Allocation for Real-Time, Embedded Systems
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
Steven M. Donahue, Matthew P. Hampton, Morgan Dete...
164
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Embedded Software Market Transformation through Reusable Frameworks
Wolfgang Pree, Alessandro Pasetti
178
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
194
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Compiler Optimizations for Adaptive EPIC Processors
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
Krishna V. Palem, Surendranath Talla, Weng-Fai Won...
177
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Embedded Control: From Asynchrony to Synchrony and Back
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
Paul Caspi
162
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Usage Scenarios for an Automated Model Compiler
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffre...