3713 search results - page 584 / 743 » Constructing a Calculus of Programs |
179
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
157
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
156
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
154
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
181
Voted
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...