536 search results - page 9 / 108 » A computer verified, monadic, functional implementation of t... |
103
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
231
Voted
ICDE
2008
IEEE
16 years 11 months ago
2008
IEEE
In applications like location-based services, sensor monitoring and biological databases, the values of the database items are inherently uncertain in nature. An important query fo...
115
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
106
click to vote
SG
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
135
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...