1922 search results - page 153 / 385 » Systems biology, models, and concurrency |
108
click to vote
PODC
1990
ACM
15 years 5 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
108
click to vote
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
129
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
153
click to vote
WAN
1998
Springer
15 years 5 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
106
click to vote
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...