7557 search results - page 572 / 1512 » Modeling Timed Concurrent Systems |
207
click to vote
ANSS
2006
IEEE
16 years 1 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
155
Voted
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...
224
click to vote
HPDC
2010
IEEE
15 years 8 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...
224
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Two important performance metrics in collaborative systems are local and remote response times. Previous analytical and simulation work has shown that these response times depend ...
199
click to vote
ANOR
2006
15 years 7 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...