161 search results - page 17 / 33 » Verifying Compensating Transactions |
107
click to vote
TC
2008
14 years 9 months ago
2008
The periodic update transaction model has been used to maintain the freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus of pa...
LISA
2004
14 years 11 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
76
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
A luminance and color correction algorithm for multi-view video compression is proposed in this paper. Due to the dissimilar radiometric characteristics of different cameras and t...
186
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...