4962 search results - page 99 / 993 » Stochastic Model Checking |
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
WSC
2008
13 years 11 months ago
2008
Point processes with stochastic intensities are ubiquitous in many application areas, including finance, insurance, reliability and queuing. They can be simulated from standard Po...
RECOMB
2004
Springer
14 years 9 months ago
2004
Springer
KIVS
2009
Springer
14 years 3 months ago
2009
Springer
ASPDAC
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we present a novel statistical full-chip leakage power analysis method. The new method can provide a general framework to derive the full-chip leakage current or po...