81 search results - page 5 / 17 » Exploring the search space of quantum programs |
210
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
106
Voted
ACL
2010
14 years 12 months ago
2010
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...
106
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
107
Voted
SCAM
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
WABI
2004
Springer
15 years 7 months ago
2004
Springer
—The problem of reconstructing the duplication history of a set of tandemly repeated sequences was first introduced by Fitch [4]. Many recent studies deal with this problem, show...