605 search results - page 40 / 121 » Design Principles for Combiners with Memory |
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
134
click to vote
AGI
2008
15 years 3 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
128
click to vote
CF
2005
ACM
15 years 4 months ago
2005
ACM
Power consumption within the memory hierarchy grows in importance as on-chip data caches occupy increasingly greater die area. Among dynamic power conservation schemes, horizontal...
107
click to vote
DCC
2010
IEEE
15 years 27 days ago
2010
IEEE
This paper introduces a new method called Bidirectional Delta file, which is to construct a two way delta file out of two given files. Previous work focuses on forwards and back...
125
click to vote
PVLDB
2010
15 years 22 days ago
2010
Query co-processing on graphics processors (GPUs) has become an effective means to improve the performance of main memory databases. However, this co-processing requires the data ...