47 search results - page 7 / 10 » Computing monodromy via parallel homotopy continuation |
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
CLUSTER
2006
IEEE
14 years 1 months ago
2006
IEEE
Most of today‘s HPC systems employ a single head node for control, which represents a single point of failure as it interrupts an entire HPC system upon failure. Furthermore, it...
CONCUR
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
ICPP
2003
IEEE
14 years 22 days ago
2003
IEEE
New demands brought by the continuing growth of the Internet will be met in part by more effective and comprehensive use of caching. This paper proposes to exploit client browser ...
BMCBI
2008
13 years 7 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...