2214 search results - page 273 / 443 » Complexity of Reasoning |
PODC
2010
ACM
15 years 7 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
107
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Realization of all-digital baseband receiver processing for multi-Gigabit communication requires analog-to-digital converters(ADCs) of sufficient rate and output resolu...
138
Voted
CRYPTO
2008
Springer
15 years 5 months ago
2008
Springer
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
130
Voted
SSR
2001
15 years 5 months ago
2001
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
136
Voted
IJVR
2008
15 years 3 months ago
2008
This research began with a preliminary exploratory study that observed the relationship between the facial expressions of three human lecturers in a real academic lecture theatre a...