Sciweavers

12453 search results - page 376 / 2491
» Concurrent Data Structures
Sort
View
ICFP
2008
ACM
16 years 6 months ago
A functional model-view-controller software architecture for command-oriented programs
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
Alley Stoughton
DC
2010
15 years 7 months ago
Model checking transactional memories
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ICCV
2009
IEEE
16 years 11 months ago
Structure- and Motion-adaptive Regularization for High Accuracy Optic Flow
The accurate estimation of motion in image sequences is of central importance to numerous computer vision applications. Most competitive algorithms compute flow fields by minimi...
Andreas Wedel, Daniel Cremers, Thomas Pock, Horst ...
ICIP
2001
IEEE
16 years 8 months ago
Analysis of cloudy structures evolution on meteorological satellite acquisitions
This paper concerns the characterization of clouds on meteorological satellite image sequences through points trajectories. These temporal curves can be computed from the result o...
Dominique Béréziat, Isabelle Herlin,...
WWW
2007
ACM
16 years 7 months ago
SCAN: a small-world structured p2p overlay for multi-dimensional queries
This paper presents a structured P2P overlay SCAN that augments CAN overlay with long links based on Kleinberg's small-world model in a d-dimensional Cartesian space. The con...
Xiaoping Sun