Sciweavers

142 search results - page 21 / 29
» Local Context Sparse Coding
Sort
View
TIP
2002
102views more  TIP 2002»
13 years 8 months ago
Multilayered image representation: application to image compression
Abstract--The main contribution of this work is a new paradigm for image representation and image compression. We describe a new multilayered representation technique for images. A...
François G. Meyer, Amir Averbuch, Ronald R....
ICPP
2008
IEEE
14 years 3 months ago
Scioto: A Framework for Global-View Task Parallelism
We introduce Scioto, Shared Collections of Task Objects, a lightweight framework for providing task management on distributed memory machines under one-sided and globalview parall...
James Dinan, Sriram Krishnamoorthy, D. Brian Larki...
EIS
2011
290views ECommerce» more  EIS 2011»
13 years 3 months ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur
SIGMETRICS
1992
ACM
128views Hardware» more  SIGMETRICS 1992»
14 years 19 days ago
MemSpy: Analyzing Memory System Bottlenecks in Programs
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
Margaret Martonosi, Anoop Gupta, Thomas E. Anderso...
ENTCS
2002
95views more  ENTCS 2002»
13 years 8 months ago
A Proof Dedicated Meta-Language
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
David Delahaye