888 search results - page 14 / 178 » The Power of Temporal Proofs |
AIMSA
2008
Springer
15 years 4 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
FOCS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
87
Voted
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
— Power gating is a circuit technique that enables high performance and low power operation. One of the challenges in power gating is sizing the sleep transistor which is used to...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We give a new elementary proof of the fact that the value of the least kth power non
POPL
2009
ACM
15 years 4 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...