7167 search results - page 940 / 1434 » Answer Set Programming |
129
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
120
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
153
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
146
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
123
Voted
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
The very nature of implementing and evaluating fully distributed algorithms or protocols in application-layer overlay networks involves certain programming tasks that are at best m...