2042 search results - page 82 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
RTCSA
1999
IEEE
14 years 12 hour ago
1999
IEEE
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
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...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
CLEF
2009
Springer
13 years 8 months ago
2009
Springer
In this paper we will briefly describe the approaches taken by the Berkeley Cheshire Group for the GikiCLEF task of the QA track. Because the task was intended to model some aspec...