1096 search results - page 175 / 220 » Type inference for atomicity |
192
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
209
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
219
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
128
click to vote
ESOP
2010
Springer
16 years 4 days ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
132
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...