Sciweavers

5606 search results - page 655 / 1122
» Randomization Techniques for Graphs.
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Runtime checking of serializability in software transactional memory
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
Arnab Sinha, Sharad Malik
PLDI
2011
ACM
14 years 9 months ago
The tao of parallelism in algorithms
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regularâ€...
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Ma...
ICCV
2007
IEEE
16 years 9 months ago
PR: More than Meets the Eye
In this paper, we introduce a new image descriptor for broad Image Categorization, the Progressive Randomization (PR), that uses perturbations on the values of the Least Significa...
Anderson Rocha, Siome Goldenstein
ICIP
2002
IEEE
16 years 8 months ago
Scalable compression of volumetric images
An important problem in medical imaging is that of ef?cient volumetric image compression. In addition to compression ef?ciency, scalable representations which allow access to the ...
Andrew Secker, Raymond Leung, David Taubman
ICIP
2001
IEEE
16 years 8 months ago
DWT based non-parametric texture modeling
We propose a non-parametric texture modeling and synthesis technique based on the integer version of the Discrete Wavelet Transform (DWT). The successive levels of the DWT pyramid...
Gloria Menegaz