6308 search results - page 341 / 1262 » Modeling Urgency in Timed Systems |
146
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
201
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
191
click to vote
ANOR
2006
15 years 6 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
163
click to vote
ECCC
2000
15 years 6 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in all common artificialneuralnetwork models. Biological synapses are dynamic, ...
185
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...