1279 search results - page 104 / 256 » Fast Implementations of Automata Computations |
126
Voted
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
113
Voted
ICS
1999
Tsinghua U.
15 years 7 months ago
1999
Tsinghua U.
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
135
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The information provided by dense genome-wide markers using high throughput technology is of considerable potential in human disease studies and livestock breeding pro...
119
Voted
SIS
2007
15 years 4 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
115
Voted
FORTE
1998
15 years 4 months ago
1998
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...