523 search results - page 93 / 105 » On the Power of Quantum Proofs |
128
click to vote
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
Mobile ad-hoc Grid is one of the modern distributed systems that have been introduced until now. It combines traditional grid capabilities with ad-hoc network flexibilities. Servic...
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
129
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
118
click to vote
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
107
click to vote
CP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...