2338 search results - page 22 / 468 » Separation in Theory - Coordination in Practice |
IFIP7
1999
Springer
14 years 1 months ago
1999
Springer
CP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
IFIP
1994
Springer
14 years 28 days ago
1994
Springer
IFIP
1994
Springer
14 years 28 days ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...