161 search results - page 9 / 33 » Verifying Compensating Transactions |
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a video-based super-resolution algorithm by high-frequency component compensation. Normalized logarithm distance (NLD) minimization on local shape feature is p...
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
— A quadratic slope compensation scheme for a current-mode DC-DC converter to obtain stable frequency characteristics without depending on the input and output voltages is propos...
PLDI
2010
ACM
15 years 28 days ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
105
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...