6381 search results - page 324 / 1277 » Alternative Implementation of the C |
191
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
184
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
159
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents the alternatives available to support threadprivate data in OpenMP and evaluates them. We show how current compilation systems rely on custom techniques for im...
239
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
182
Voted
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...