1451 search results - page 252 / 291 » Order independence and rationalizability |
102
click to vote
ALT
2001
Springer
15 years 8 months ago
2001
Springer
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...
104
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
113
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
101
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
115
click to vote
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
Dynamic cardiac metrics, including myocardial strains and displacements, provide a quantitative approach to evaluate cardiac function. However, in current clinical diagnosis, larg...