1922 search results - page 256 / 385 » Systems biology, models, and concurrency |
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
105
click to vote
PPPJ
2004
ACM
15 years 6 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
103
click to vote
CLUSTER
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
113
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
201
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...