Sciweavers

1917 search results - page 296 / 384
» Compressive Wave Computation
Sort
View
DAC
2007
ACM
15 years 7 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
WSC
2007
15 years 5 months ago
Simulating pandemic influenza risks of US cities
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
Catherine Dibble, Stephen Wendel, Kristofor Carle
COMPUTING
2007
97views more  COMPUTING 2007»
15 years 3 months ago
Multiresolution morphing for planar curves
We present a multiresolution morphing algorithm using “as-rigid-as-possible” shape interpolation combinedwithanangle-lengthbasedmultiresolutiondecompositionofsimple2Dpiecewise...
Stefanie Hahmann, Georges-Pierre Bonneau, Baptiste...
COMPUTER
2000
138views more  COMPUTER 2000»
15 years 2 months ago
Making Pointer-Based Data Structures Cache Conscious
Processor and memory technology trends portend a continual increase in the relative cost of accessing main memory. Machine designers have tried to mitigate the effect of this tren...
Trishul M. Chilimbi, Mark D. Hill, James R. Larus
ICIP
2010
IEEE
15 years 1 months ago
Anisotropic diffusion using power watersheds
Many computer vision applications such as image filtering, segmentation and stereo-vision can be formulated as optimization problems.Whereas in previous decades continuousdomain, ...
Camille Couprie, Leo J. Grady, Laurent Najman, Hug...