762 search results - page 135 / 153 » Conditionally correct superoptimization |
CVPR
2004
IEEE
14 years 12 months ago
2004
IEEE
Recognition of a person from gait has been a recent focus in computer vision. It is one biometric source that can be acquired at a distance. At this nascent stage of gait recognit...
GIS
2004
ACM
14 years 11 months ago
2004
ACM
Spatial co-location patterns represent the subsets of events whose instances are frequently located together in geographic space. We identified the computational bottleneck in the...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Resolution enhancement techniques (RET) such as optical proximity correction (OPC) and phase-shift mask (PSM) technology are deployed in modern processes to increase the fidelity ...
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
PPOPP
2009
ACM
14 years 10 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...