5619 search results - page 1 / 1124 » A Region Inference Algorithm |
WFLP
2009
Springer
13 years 12 months ago
2009
Springer
TOPLAS
1998
13 years 5 months ago
1998
KBSE
2009
IEEE
14 years 1 days ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
ICB
2009
Springer
13 years 12 months ago
2009
Springer
We propose a scalable face matching algorithm capable of dealing with faces subject to several concurrent and uncontrolled factors, such as variations in pose, expression, illumina...
MICRO
2010
IEEE
13 years 3 months ago
2010
IEEE
A particularly insidious type of concurrency bug is atomicity violations. While there has been substantial work on automatic detection of atomicity violations, each existing techn...