4164 search results - page 113 / 833 » Timing model reduction for hierarchical timing analysis |
180
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
177
click to vote
DSN
2007
IEEE
16 years 20 days ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
172
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
161
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. RAID systems are widely deployed, both as standalone storage solutions and as the building blocks of modern virtualised storage platforms. An accurate model of RAID syste...
184
click to vote
ICCS
2009
Springer
16 years 27 days ago
2009
Springer
Climate simulation will not grow to the ultrascale without new algorithms to overcome the scalability barriers blocking existing implementations. Until recently, climate simulation...