Sciweavers

1253 search results - page 56 / 251
» order 2000
Sort
View
CP
2000
Springer
14 years 2 months ago
Random 3-SAT: The Plot Thickens
Abstract. This paper presents an experimental investigation of the following questions: how does the averagecase complexity of random 3-SAT, understood as a function of the order (...
Cristian Coarfa, Demetrios D. Demopoulos, Alfonso ...
HIPC
2000
Springer
14 years 1 months ago
Memory Consistency and Process Coordination for SPARC Multiprocessors
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
Lisa Higham, Jalal Kawash
ICIP
2000
IEEE
14 years 11 months ago
Adaptive Scanning Methods for Wavelet Difference Reduction in Lossy Image Compression
This paper describes methods for adapting the scanning order through wavelet transform values used in the Wavelet Difference Reduction (WDR) algorithm of Tian and Wells. These new...
James S. Walker, Truong Q. Nguyen
BMAS
2000
IEEE
14 years 2 months ago
High-Level Design Case of a Switched-Capacitor Low-Pass Filter Using Verilog-A
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
Erik Lauwers, Georges G. E. Gielen, Koen Lampaert,...
ICPR
2000
IEEE
14 years 2 months ago
X-Ray Volume Rendering by Hierarchical Wavelet Splatting
This paper is concerned with X-ray volume visualization by means of wavelet splatting, a wavelet-based extension to splatting. Wavelet splatting allows multiresolution visualizati...
Michel A. Westenberg, Jos B. T. M. Roerdink