Sciweavers

601 search results - page 79 / 121
» Simulation vs. Equivalence
Sort
View
EUROCRYPT
2007
Springer
14 years 3 months ago
Zero Knowledge and Soundness Are Symmetric
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
Shien Jin Ong, Salil P. Vadhan
INFOCOM
2006
IEEE
14 years 3 months ago
TWINE: A Hybrid Emulation Testbed for Wireless Networks and Applications
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...
Junlan Zhou, Zhengrong Ji, Rajive Bagrodia
ICANN
2003
Springer
14 years 2 months ago
The Interaction of Recurrent Axon Collateral Networks in the Basal Ganglia
We have proposed that the basal ganglia act as the central switching mechanism for the action selection system of the vertebrate brain. Simulation of our functional model of basal ...
Mark D. Humphries, Tony J. Prescott, Kevin N. Gurn...
IEEEPACT
2000
IEEE
14 years 1 months ago
Exploring the Limits of Sub-Word Level Parallelism
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
Kevin Scott, Jack W. Davidson
INFOCOM
2000
IEEE
14 years 1 months ago
Virtual Backbone Generation and Maintenance in Ad Hoc Network Mobility Management
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
Ben Liang, Zygmunt J. Haas