2142 search results - page 338 / 429 » Improved Conditional E-Payments |
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
We consider the problem of quantizing data generated from disparate sources, e.g. subjects performing actions with different styles, movies with particular genre bias, various con...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
Gaining invariance to camera and illumination variations has been a well investigated topic in Active Appearance Model (AAM) fitting literature. The major problem lies in the ina...
DSN
2011
IEEE
12 years 10 months ago
2011
IEEE
—As process technology shrinks devices, circuits experience accelerated wearout. Monitoring wearout will be critical for improving the efficiency of error detection and correctio...
PLDI
2012
ACM
12 years 17 days ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...