Sciweavers

1729 search results - page 77 / 346
» Generic Haskell: Applications
Sort
View
ICFP
2010
ACM
15 years 4 months ago
A certified framework for compiling and executing garbage-collected languages
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
153
Voted
TPDS
2008
113views more  TPDS 2008»
15 years 4 months ago
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
Abdallah Al Zain, Philip W. Trinder, Greg Michaels...
123
Voted
IJCV
2008
165views more  IJCV 2008»
15 years 4 months ago
Perceptual Scale-Space and Its Applications
In this paper, we study a perceptual scale space by constructing a so-called sketch pyramid which augments the Gaussian and Laplacian pyramid representations in traditional image ...
Yizhou Wang, Song Chun Zhu
ICFP
1999
ACM
15 years 9 months ago
Atomic Heap Transactions and Fine-grain Interrupts
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
Olin Shivers, James W. Clark, Roland McGrath
MM
2004
ACM
88views Multimedia» more  MM 2004»
15 years 10 months ago
A general framework for multidimensional adaptation
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
David Gotz, Ketan Mayer-Patel