503 search results - page 3 / 101 » Equality In Lazy Computation Systems |
108
Voted
ENTCS
2002
14 years 10 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), ...
83
Voted
TABLETOP
2006
IEEE
15 years 4 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...
85
Voted
PEPM
2010
ACM
15 years 7 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...
66
Voted
GROUP
2009
ACM
15 years 4 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...
90
Voted
FUIN
2002
14 years 10 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...