161 search results - page 11 / 33 » Verifying Compensating Transactions |
191
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
148
click to vote
IJCM
2008
15 years 5 months ago
2008
This paper investigates a learning control using iterative error compensation for uncertain systems to enhance the precision of high speed, computer controlled machining process. ...
141
click to vote
ICB
2007
Springer
15 years 9 months ago
2007
Springer
Illumination change is one of most important and difficult problems which prevent from applying face recognition to real applications. For solving this, we propose a method to comp...
163
click to vote
ACMICEC
2006
ACM
15 years 9 months ago
2006
ACM
We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the an...
160
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...