7167 search results - page 1200 / 1434 » Answer Set Programming |
136
Voted
ISSAC
2004
Springer
15 years 7 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
108
click to vote
IWAN
2004
Springer
15 years 7 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
106
click to vote
KI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
118
click to vote
MOZ
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
122
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...