2502 search results - page 209 / 501 » Using probabilistic model checking in systems biology |
152
click to vote
ALMOB
2008
15 years 6 months ago
2008
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
168
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
181
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
163
click to vote
WSC
2000
15 years 7 months ago
2000
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
178
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...