4806 search results - page 336 / 962 » Interactive uncertainty analysis |
186
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
157
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
181
click to vote
ECRTS
2006
IEEE
16 years 24 days ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
155
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
188
click to vote
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...