20175 search results - page 3825 / 4035 » Is abstraction the key to computing |
115
click to vote
SCP
1998
15 years 12 days ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
77
Voted
SIAMCOMP
1998
15 years 12 days ago
1998
We first present an algorithm that uses membership and equivalence queries to exactly identify a discretized geometric concept defined by the union of m axis-parallel boxes in d-...
115
Voted
SIAMDM
1998
15 years 12 days ago
1998
For every string inclusion relation there are two optimization problems: find a longest string included in every string of a given finite language, and find a shortest string in...
119
Voted
SIAMCOMP
2002
15 years 11 days ago
2002
We consider the problem of maintaining aggregates and statistics over data streams, with respect to the last N data elements seen so far. We refer to this model as the sliding wind...
106
Voted
SIAMDM
2002
15 years 11 days ago
2002
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...