3686 search results - page 249 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
136
click to vote
CCE
2006
15 years 6 months ago
2006
The regulatory architecture responsible for robust maintenance of 24 h cycles is analyzed as a control system. At the gene regulatory level, it is shown that performance attribute...
313
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
162
click to vote
RTS
2006
15 years 6 months ago
2006
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
194
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
148
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...