503 search results - page 3 / 101 » Equality In Lazy Computation Systems |
ENTCS
2002
13 years 7 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
TABLETOP
2006
IEEE
14 years 1 months ago
2006
IEEE
Various communication systems in shared space technology have been proposed to support remote spatial collaborative works with physical objects. The authors have focused on sharin...
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
FUIN
2002
13 years 7 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...