Sciweavers

3179 search results - page 512 / 636
» Applications of PCF Theory
Sort
View
JLP
2007
95views more  JLP 2007»
13 years 8 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...
JMM2
2007
157views more  JMM2 2007»
13 years 8 months ago
Sub-band Implementation of Adaptive Nonlinear Filter for Adaptive Nonlinear Echo Cancellation
—The adaptive Volterra filter has been successfully applied in nonlinear acoustic echo cancellation (AEC) systems and nonlinear line echo cancellation systems, but its applicatio...
Dayong Zhou, Yunhua Wang, Victor E. DeBrunner, Lin...
JNCA
2007
69views more  JNCA 2007»
13 years 8 months ago
Specifying the intertwining of cooperation and autonomy in agent-based systems
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
Gerhard Weiß, Matthias Nickles, Michael Rova...
TSP
2008
166views more  TSP 2008»
13 years 8 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
TVCG
2008
86views more  TVCG 2008»
13 years 8 months ago
The Shaping of Information by Visual Metaphors
The nature of an information visualization can be considered to lie in the visual metaphors it uses to structure information. The process of understanding a visualization therefore...
Caroline Ziemkiewicz, Robert Kosara