3116 search results - page 345 / 624 » Recovering |
276
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
155
click to vote
RECOMB
2004
Springer
16 years 5 months ago
2004
Springer
In this paper, we explore modeling overlapping biological processes. We discuss a probabilistic model of overlapping biological processes, gene membership in those processes, and ...
162
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
We present an original approach to identifying sequence variants in a mixed DNA population from sequence trace data. The heart of the method is based on parsimony: given a wildtyp...
115
click to vote
RECOMB
2001
Springer
16 years 5 months ago
2001
Springer
Recent studies (Alizadeh et al, [1]; Bittner et al,[5]; Golub et al, [11]) demonstrate the discovery of putative disease subtypes from gene expression data. The underlying computa...
136
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always...