2042 search results - page 99 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
DAC
2002
ACM
14 years 10 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...
SIGIR
2010
ACM
14 years 27 days 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., ...
CSREAESA
2006
13 years 10 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...
NOSSDAV
2009
Springer
14 years 3 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...
WSC
2007
13 years 11 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...