2042 search results - page 273 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
120
click to vote
EUROPAR
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
138
click to vote
WSC
2001
15 years 5 months ago
2001
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
133
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
162
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
155
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
As an indispensable technique in the field of Information Filtering, Recommender System has been well studied and developed both in academia and in industry recently. However, mo...