1884 search results - page 248 / 377 » Simple Algorithm for Simple Timed Games |
129
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
121
click to vote
SPAA
1997
ACM
15 years 6 months ago
1997
ACM
Consider a set of shared objects in a distributed network, where several copies of each object may exist at any given time. To ensure both fast access to the objects as well as e ...
146
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Single nucleotide polymorphisms (SNPs) are locations at which the genomic sequences of population members differ. Since these differences are known to follow patterns,...
135
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
117
click to vote
SIAMSC
2008
15 years 2 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...