826 search results - page 74 / 166 » Resolving Concurrent Interactions |
223
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
141
Voted
TARK
2009
Springer
15 years 10 months ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
129
Voted
COORDINATION
2007
Springer
15 years 9 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
124
click to vote
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
130
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Aiming at reaching an interactive and simplified usage of high-resolution 3D acquisition systems, this paper presents a fast and automated technique for pre-alignment of dense ra...