581 search results - page 85 / 117 » Translating dependency into parametricity |
140
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
116
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
107
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
127
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
127
click to vote
ACMDIS
2004
ACM
15 years 7 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...