1147 search results - page 82 / 230 » Statistical Timing Analysis Using Bounds |
144
click to vote
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
122
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
105
click to vote
RTCSA
2000
IEEE
15 years 5 months ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
110
click to vote
PODS
1997
ACM
15 years 6 months ago
1997
ACM
We consider the problem of indexing general database workloads (combinations of data sets and sets of potential queries). We de ne a framework for measuring the eciency of an ind...
103
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...