3239 search results - page 617 / 648 » A Logical Process Calculus |
201
Voted
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
132
Voted
PLDI
2010
ACM
16 years 22 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
131
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
126
Voted
ICDT
2010
ACM
16 years 22 days ago
2010
ACM
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...
133
Voted
EUROSYS
2009
ACM
16 years 13 days ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...