2877 search results - page 137 / 576 » Computational Biology |
117
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
136
Voted
ASM
1998
ASM
15 years 8 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
112
click to vote
RECOMB
1998
Springer
15 years 8 months ago
1998
Springer
This paper studies various properties of the least common ancestors mapping, the duplication and mutation costs, and the complexity of nding a species tree from gene trees.
142
click to vote
ASM
2005
ASM
15 years 6 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
107
click to vote
ISMB
1998
15 years 5 months ago
1998
Astatistical theory of local alignmentalgorithms with gaps is presented. Both the linear and logarithmic phases, as well as the phase transition separating the two phases, are des...