2343 search results - page 93 / 469 » Structure and Interpretation of Computer Programs |
159
click to vote
NGC
1998
Springer
15 years 4 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
131
click to vote
EXPCS
2007
15 years 8 months ago
2007
Utility programs, which perform similar and largely independent operations on a sequence of inputs, include such common applications as compilers, interpreters, and document parse...
144
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
Irregular algorithms are organized around pointer-based data structures such as graphs and trees, and they are ubiquitous in applications. Recent work by the Galois project has pr...
146
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
170
click to vote
LPNMR
1997
Springer
15 years 9 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...