3730 search results - page 603 / 746 » Robust design of embedded systems |
149
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...
180
click to vote
ICDCS
2002
IEEE
15 years 10 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
151
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
149
click to vote
PROFES
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...
187
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...