4690 search results - page 315 / 938 » An operational semantics for Scheme |
152
click to vote
USENIX
2007
15 years 9 months ago
2007
Content-based naming (CBN) enables content sharing across similar files by breaking files into positionindependent chunks and naming these chunks using hashes of their contents....
193
click to vote
JCIT
2007
15 years 6 months ago
2007
Recently, a flash memory has become a major database storage in building portable information devices because of its non-volatile, shock-resistant, power-economic nature, and fast...
173
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present and analyse the behaviour of specialised operators designed for cooperative coevolution strategy in the framework of 3D tomographic PET reconstruction. The bas...
199
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
196
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...