Sciweavers

3378 search results - page 250 / 676
» A universe of binding and computation
Sort
View
ICALP
2003
Springer
15 years 12 months ago
Optimal Cache-Oblivious Implicit Dictionaries
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
Gianni Franceschini, Roberto Grossi
TAMC
2010
Springer
15 years 11 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
Edward A. Hirsch
SIGUCCS
1999
ACM
15 years 11 months ago
Usability Testing: A Quick, Cheap, and Effective Method
The University of Portland Office of Computer and Telecommunication Services (CTS) created an Intranet web site for the University community during the summer of 1998. In the summ...
Jerilyn Prescott, Matt Crichton
PKC
1999
Springer
83views Cryptology» more  PKC 1999»
15 years 11 months ago
On the Security of Random Sources
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
Jean-Sébastien Coron
WDAG
1998
Springer
87views Algorithms» more  WDAG 1998»
15 years 11 months ago
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems
d Abstract) James H. Anderson, Rohit Jain, and David Ott Department of Computer Science University of North Carolina at Chapel Hill We consider wait-free synchronization in multipr...
James H. Anderson, Rohit Jain, David Ott