9015 search results - page 1612 / 1803 » Using Structural Computing to Support Information Integratio... |
156
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
223
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
178
click to vote
ACCV
2006
Springer
16 years 15 days ago
2006
Springer
A novel video object segmentation method is proposed which aims at combining color and motion information. The model has a multilayer structure: Each feature has its own layer, cal...
138
click to vote
ACCV
2006
Springer
16 years 15 days ago
2006
Springer
This work employs a fish-eye to scan cityscapes along a street and register scenes in a compact scene tunnel image. A fish-eye has complete field of view along a route. We mount th...
132
click to vote
MSR
2006
ACM
16 years 14 days ago
2006
ACM
The number of bugs (or fixes) is a common factor used to measure the quality of software and assist bug related analysis. For example, if software files have many bugs, they may b...