7225 search results - page 94 / 1445 » On the Computational Power of Biochemistry |
177
click to vote
HICSS
2007
IEEE
16 years 16 days ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...
151
click to vote
HPCA
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper provides a background and rationale for some of the architecture and design decisions in the Cell processor, a processor optimized for compute-intensive and broadband r...
143
click to vote
FOCS
1997
IEEE
15 years 10 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...
160
click to vote
MFCS
2010
Springer
15 years 4 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...