Sciweavers

357 search results - page 21 / 72
» A transaction manager component for cooperative transaction ...
Sort
View
139
Voted
IPPS
2010
IEEE
14 years 11 months ago
Runtime checking of serializability in software transactional memory
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 ...
Arnab Sinha, Sharad Malik
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 1 months ago
An Analysis of Transaction and Joint-patent Application Networks
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
Hiroyasu Inoue
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
15 years 2 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
CAISE
1999
Springer
15 years 6 months ago
Design of Object Caching in a CORBA OTM System
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
Thomas Sandholm, Stefan Tai, Dirk Slama, Eamon Wal...
SOCA
2010
IEEE
15 years 7 days ago
Short-term performance management by priority-based queueing
Service-based IT infrastructures serve many different business processes on a shared infrastructure in parallel. The automated request execution on the interconnected software com...
Christian Markl, Oliver Hühn, Martin Bichler