11909 search results - page 2169 / 2382 » The Scheme Programming Language |
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
219
click to vote
ICLP
2009
Springer
16 years 3 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...
180
click to vote
ICLP
2009
Springer
16 years 3 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...
248
click to vote
CC
2009
Springer
16 years 3 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 ...
209
click to vote
CC
2009
Springer
16 years 3 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...