Sciweavers

11455 search results - page 2144 / 2291
» The Rayset and Its Applications
Sort
View
JLP
2007
95views more  JLP 2007»
15 years 6 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
JMIV
2007
116views more  JMIV 2007»
15 years 6 months ago
Viscosity Solutions of a Level-Set Method for Anisotropic Geometric Diffusion in Image Processing
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...
Tobias Preusser
TSMC
2008
138views more  TSMC 2008»
15 years 6 months ago
Fast Diagnosis With Sensors of Uncertain Quality
This correspondence presents an approach to the detection and isolation of component failures in large-scale systems. In the case of sensors that report at rates of 1 Hz or less, t...
Ozgur Erdinc, Craig Brideau, Peter Willett, Thiaga...
TSP
2008
90views more  TSP 2008»
15 years 6 months ago
Array-Based QR-RLS Multichannel Lattice Filtering
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...
J. Gomes, V. A. N. Barroso
TSP
2008
166views more  TSP 2008»
15 years 6 months ago
Nonuniform Sampling of Periodic Bandlimited Signals
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...
E. Margolis, Yonina C. Eldar
« Prev « First page 2144 / 2291 Last » Next »