149 search results - page 16 / 30 » On Statistical Model Checking of Stochastic Systems |
83
Voted
DSD
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
MASCOTS
2007
14 years 11 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
MDM
2001
Springer
15 years 1 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Vehicle-to-vehicle (VTV) communications are of interest for applications within traffic safety and congestion avoidance, but the development of suitable communications systems...
105
click to vote
GLVLSI
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...