4962 search results - page 677 / 993 » Stochastic Model Checking |
118
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
In recent years, the X-Architecture is introduced to obtain better performance for integrated circuit physical design. This paper reformulates the global routing problem in X-Archi...
129
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
136
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Conventional performance evaluation mechanisms focus on dedicated distributed systems. Grid computing infrastructure, on another hand, is a shared collaborative environment constr...
184
click to vote
LCN
2005
IEEE
15 years 8 months ago
2005
IEEE
—Wireless sensor networks afford a new opportunity to observe and interact with physical phenomena at an unprecedented fidelity. To fully realize this vision, these networks have...
116
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...