503 search results - page 21 / 101 » Equality In Lazy Computation Systems |
101
click to vote
ICFP
2005
ACM
16 years 13 days ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
GI
2009
Springer
15 years 5 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
112
Voted
DEBU
2010
14 years 10 months ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
95
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we describe the explicit application of articulation constraints for estimating the motion of a system of planes. We relate articulations to the relative homography...
108
click to vote
NCA
2006
IEEE
15 years 6 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...