11212 search results - page 1792 / 2243 » Semi-persistent Data Structures |
269
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
With ever-increasing amounts of graph data from disparate sources, there has been a strong need for exploiting significant graph patterns with user-specified objective functions. ...
173
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
150
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
170
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
183
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...