10585 search results - page 698 / 2117 » The Orc Programming Language |
197
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
179
click to vote
ASPLOS
2010
ACM
16 years 2 months ago
2010
ACM
Prior work has shown dramatic acceleration for various database operations on GPUs, but only using primitives that are not part of conventional database languages such as SQL. Thi...
