7195 search results - page 93 / 1439 » On Computing Power |
113
click to vote
FOCS
1997
IEEE
15 years 7 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
15 years 4 months ago
2005
ACM
114
click to vote
MFCS
2010
Springer
15 years 1 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...
125
Voted
CRYPTO
2011
Springer
14 years 2 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...
148
click to vote
HPCA
2008
IEEE
16 years 3 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...