Sciweavers

2167 search results - page 223 / 434
» On the need for statistical timing analysis
Sort
View
PR
2000
153views more  PR 2000»
15 years 6 months ago
A region-level motion-based graph representation and labeling for tracking a spatial image partition
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
Marc Gelgon, Patrick Bouthemy
STACS
2012
Springer
14 years 2 months ago
Stabilization of Branching Queueing Networks
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a...
Tomás Brázdil, Stefan Kiefer
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
DEXAW
2008
IEEE
129views Database» more  DEXAW 2008»
16 years 1 months ago
SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases
This paper proposes an optimistic concurrency control (CC) algorithm, called Sequential Order with Dynamic Adjustment (SODA), that guarantees timely and correct execution of concu...
Zhaowen Xing, Le Gruenwald, K. K. Phang
MOMM
2006
ACM
16 years 16 days ago
Change Detection from Multitemporal Land-cover Class Images
Earth-observing satellites, such Landsat, provide many multitemporal images of earth and with classification techniques, land-cover class images can easily be prepared. Multitempo...
Petrus Paryono