7195 search results - page 93 / 1439 » On Computing Power |
FOCS
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...
CF
2005
ACM
14 years 29 days ago
2005
ACM
MFCS
2010
Springer
13 years 9 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
CRYPTO
2011
Springer
12 years 10 months ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
HPCA
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper describes a comprehensive approach for using the memory controller to improve DRAM energy efficiency and manage DRAM power. We make three contributions: (1) we describe...