1451 search results - page 252 / 291 » Order independence and rationalizability |
176
click to vote
ALT
2001
Springer
16 years 3 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...
179
click to vote
ICCD
2006
IEEE
16 years 3 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...
185
click to vote
ICCAD
2008
IEEE
16 years 3 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...
168
Voted
SOSP
2007
ACM
16 years 3 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 ...
185
click to vote
ISBI
2009
IEEE
16 years 27 days 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...