523 search results - page 56 / 105 » On the Power of Quantum Proofs |
111
click to vote
GLVLSI
2010
IEEE
15 years 4 months ago
2010
IEEE
Graphene nanoribbon tunneling FETs (GNR TFETs) are promising devices for post-CMOS low-power applications because of the low subthreshold swing, high Ion/Ioff, and potential for l...
106
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
— In wireless sensor networks, minimizing power consumption and at the same time maintaining desired properties in the network topology is of prime importance. In this work, we p...
187
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
TEI
2010
ACM
15 years 6 months ago
2010
ACM
A human-powered user interface device sources its power from the physical effort required to operate it. This paper describes a technique by which a geared DC motor and a simple c...
105
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...