592 search results - page 55 / 119 » Can Component Service-Based Systems Be Proved Correct |
128
click to vote
ECRTS
2008
IEEE
15 years 5 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
166
click to vote
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
136
click to vote
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
132
Voted
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...
159
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...