336 search results - page 64 / 68 » Memories of bug fixes |
117
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
The World Wide Web Consortium's RDF standard primarily consists of (subject,property,object) triples that specify the value that a given subject has for a given property. How...
136
click to vote
PPOPP
2009
ACM
16 years 28 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
192
Voted
VLDB
2004
ACM
16 years 18 days ago
2004
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In i...
112
click to vote
SIGMOD
2003
ACM
16 years 16 days ago
2003
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In ...
143
Voted
PODS
2005
ACM
16 years 15 days ago
2005
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. Pro...