6740 search results - page 1264 / 1348 » Using Classification as a Programming Language |
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
173
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
144
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
170
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...
161
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...