2468 search results - page 135 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
180
Voted
LSGRID
2004
Springer
15 years 9 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
90
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
149
Voted
INTEGRATION
2010
15 years 2 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
139
Voted
APPROX
2010
Springer
15 years 5 months ago
2010
Springer
Broadcasting algorithms are important building blocks of distributed systems. In this work we investigate the typical performance of the classical and well-studied push model. Assu...
121
Voted
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...