2850 search results - page 4 / 570 » On Timed Models and Full Abstraction |
ASMTA
2008
Springer
13 years 9 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...
MICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes FAST, a novel simulation methodology that can produce simulators that (i) are orders of magnitude faster than comparable simulators, (ii) are cycleaccurate, (...
DLOG
2010
13 years 5 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
We present an efficient technique for finding the mean and variance of the full-chip leakage of a candidate design, while considering logic-structures and both die-to-die and with...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— This paper develops an approach for on-line segmentation of whole body human motion patterns during human motion observation and learning. A Hidden Markov Model is used...