2470 search results - page 101 / 494 » Liveness-Preserving Simulation Relations |
95
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
This study developed a new procedure, a Virtual Guiding Avatar (VGA), which combined self-motion prediction cues and an independent visual background (IVB) to alleviate simulator ...
100
click to vote
BMAS
2000
IEEE
15 years 5 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
127
click to vote
IPCCC
1999
IEEE
15 years 5 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
101
click to vote
FOCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veri...
112
Voted
ANSS
2007
IEEE
15 years 7 months ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...