10159 search results - page 386 / 2032 » System Design Validation Using Formal Models |
123
click to vote
MOMPES
2008
IEEE
15 years 10 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
125
click to vote
AEI
2000
15 years 4 months ago
2000
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
153
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
144
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
138
click to vote
AIME
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...