1980 search results - page 257 / 396 » Compositional Model Checking of Real Time Systems |
125
click to vote
DEBU
2006
15 years 3 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
156
Voted
MM
1993
ACM
15 years 7 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
127
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
146
Voted
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
129
click to vote
WSC
1998
15 years 4 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...