Sciweavers

2144 search results - page 326 / 429
» Exact Flow Analysis
Sort
View
SIGSOFT
2009
ACM
16 years 5 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
MICRO
1998
IEEE
144views Hardware» more  MICRO 1998»
15 years 9 months ago
Analyzing the Working Set Characteristics of Branch Execution
To achieve highly accurate branch prediction, it is necessary not only to allocate more resources to branch prediction hardware but also to improve the understanding of branch exe...
Sangwook P. Kim, Gary S. Tyson
TASE
2010
IEEE
14 years 11 months ago
Automated Selection and Placement of Single Cells Using Vision-Based Feedback Control
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
Y. H. Anis, Mark Holl, Deirdre R. Meldrum
CVPR
2001
IEEE
16 years 6 months ago
Navier-Stokes, Fluid Dynamics, and Image and Video Inpainting
Image inpainting involves filling in part of an image or video using information from the surrounding area. Applications include the restoration of damaged photographs and movies ...
A. L. Bertozzi, Guillermo Sapiro, Marcelo Bertalm&...
ICCV
1999
IEEE
16 years 6 months ago
Projective Alignment with Regions
?We have recently proposed an approach to recognition that uses regions to determine the pose of objects while allowing for partial occlusion of the regions. Regions introduce an a...
Ronen Basri, David W. Jacobs