1557 search results - page 134 / 312 » Programming up to Congruence |
108
click to vote
JAR
2010
14 years 6 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
109
click to vote
ICCV
2011
IEEE
13 years 11 months ago
2011
IEEE
An articulated trajectory is defined as a trajectory that remains at a fixed distance with respect to a parent trajectory. In this paper, we present a method to reconstruct an a...
103
click to vote
ICALP
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...
IEEEPACT
2008
IEEE
15 years 5 months ago
2008
IEEE
In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. This is especially true ...
ICS
2001
Tsinghua U.
15 years 3 months ago
2001
Tsinghua U.
We describe the Slice Processor micro-architecture that implements a generalized operation-based prefetching mechanism. Operation-based prefetchers predict the series of operation...