2042 search results - page 99 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
122
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
131
click to vote
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Dwell time on Web pages has been extensively used for various information retrieval tasks. However, some basic yet important questions have not been sufficiently addressed, e.g., ...
172
click to vote
CSREAESA
2006
15 years 4 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
147
Voted
NOSSDAV
2009
Springer
15 years 9 months ago
2009
Springer
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
125
click to vote
WSC
2007
15 years 5 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...