4962 search results - page 344 / 993 » Stochastic Model Checking |
215
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
189
click to vote
SFM
2007
Springer
16 years 1 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
212
click to vote
BIOCOMP
2007
15 years 8 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
167
click to vote
UAI
2008
15 years 8 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
191
click to vote
HICSS
2002
IEEE
16 years 7 days ago
2002
IEEE
We propose a class of alternative stochastic volatility models for electricity prices using the quantile function modeling approach. Specifically, we fit marginal distributions ...