7167 search results - page 553 / 1434 » Answer Set Programming |
149
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
121
click to vote
ICCSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
128
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
160
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
137
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...