1953 search results - page 317 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
The dynamics of peer participation, or churn, are an inherent property of Peer-to-Peer (P2P) systems and critical for design and evaluation. Accurately characterizing churn requir...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
A large number of user requests execute (often concurrently) within a server system. A single request may exhibit fluctuating hardware characteristics (such as instruction comple...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...