Sciweavers

595 search results - page 110 / 119
» Using Constraints with Memory to Implement Variable Eliminat...
Sort
View
IPAS
2010
13 years 9 months ago
A memory-efficient and time-consistent filtering of depth map sequences
View plus depth` is a 3D video representation where a single color video channel is augmented with per-pixel depth information in the form of gray-scale video sequence. This repre...
Sergey Smirnov, Atanas P. Gotchev, Karen O. Egiaza...
SCP
1998
107views more  SCP 1998»
13 years 7 months ago
A Distributed Arc-Consistency Algorithm
Consistency techniques are an e cient way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been designed such as the time...
T. Nguyen, Yves Deville
SIMPRA
1998
99views more  SIMPRA 1998»
13 years 7 months ago
Rollback overhead reduction methods for time warp distributed simulation
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
Simonetta Balsamo, C. Manconi
TVLSI
2002
100views more  TVLSI 2002»
13 years 7 months ago
Architectural strategies for low-power VLSI turbo decoders
Abstract--The use of "turbo codes" has been proposed for several applications, including the development of wireless systems, where highly reliable transmission is requir...
Guido Masera, M. Mazza, Gianluca Piccinini, F. Vig...
ECOOP
2011
Springer
12 years 7 months ago
Tunable Static Inference for Generic Universe Types
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
Werner Dietl, Michael D. Ernst, Peter Müller