4962 search results - page 344 / 993 » Stochastic Model Checking |
132
click to vote
DAC
2006
ACM
16 years 4 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...
131
click to vote
SFM
2007
Springer
15 years 9 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...
137
Voted
BIOCOMP
2007
15 years 4 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...
106
Voted
UAI
2008
15 years 4 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...
121
click to vote
HICSS
2002
IEEE
15 years 8 months 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 ...