3134 search results - page 38 / 627 » Computing full disjunctions |
PADL
2000
Springer
14 years 1 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
TEC
2010
13 years 4 months ago
2010
in HTML. Full version in PDF. 08i YOGEV, O., SHAPIRO, A. A., AND ANTONSSON, E. K. Computational Evolutionary Embryogeny. IEEE Transactions on Evolutionary Computation. Accepted for...
WDAG
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...