On Replication of Software Transactional Memories

Lecture Notes in Computer Science - Principles of Distributed Systems ◽

10.1007/978-3-540-92221-6_2 ◽

2008 ◽

pp. 2-4

Author(s):

Luis Rodrigues

Keyword(s):

Transactional Memories

Download Full-text

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_13 ◽

2008 ◽

pp. 121-134 ◽

Author(s):

Ariel Cohen ◽

Amir Pnueli ◽

Lenore D. Zuck

Keyword(s):

Transactional Memory ◽

Mechanical Verification ◽

Memory Accesses ◽

Transactional Memories

Download Full-text

Model checking transactional memories

ACM SIGPLAN Notices ◽

10.1145/1379022.1375626 ◽

2008 ◽

Vol 43 (6) ◽

pp. 372-382 ◽

Author(s):

Rachid Guerraoui ◽

Thomas A. Henzinger ◽

Barbara Jobstmann ◽

Vasu Singh

Keyword(s):

Model Checking ◽

Transactional Memories

Download Full-text

HPCS 2011 tutorials: Tutorial I: Distributed software transactional memories: Foundations, algorithms and tools

2011 International Conference on High Performance Computing & Simulation ◽

10.1109/hpcsim.2011.5999794 ◽

2011 ◽

Author(s):

Maria Couceiro ◽

Paolo Romano ◽

Luis Rodrigues

Keyword(s):

Distributed Software ◽

Transactional Memories

Download Full-text

On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking

Performance Evaluation ◽

10.1016/j.peva.2011.05.002 ◽

2012 ◽

Vol 69 (5) ◽

pp. 187-205 ◽

Author(s):

Pierangelo Di Sanzo ◽

Bruno Ciciani ◽

Roberto Palmieri ◽

Francesco Quaglia ◽

Paolo Romano

Keyword(s):

Concurrency Control ◽

Analytical Modeling ◽

Control Algorithms ◽

Transactional Memories

Download Full-text

Automatic data partitioning in software transactional memories

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures - SPAA '08 ◽

10.1145/1378533.1378562 ◽

2008 ◽

Author(s):

Torvald Riegel ◽

Christof Fetzer ◽

Pascal Felber

Keyword(s):

Data Partitioning ◽

Automatic Data ◽

Transactional Memories

Download Full-text

Verifying Correctness of Transactional Memories

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.40 ◽

2007 ◽

Author(s):

Ariel Cohen ◽

John W. O'Leary ◽

Amir Pnueli ◽

Mark R. Tuttle ◽

Lenore D. Zuck

Keyword(s):

Transactional Memories

Download Full-text

Profiling Patterns of Bit Flipping for Software Transactional Memories

2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing ◽

10.1109/sbac-pad.2014.51 ◽

2014 ◽

Author(s):

Felipe L. Teixeira ◽

Mauricio L. Pilla ◽

Andre R. Du Bois ◽

Daniel Mosse

Keyword(s):

Transactional Memories

Download Full-text

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories

Multicore Software Engineering, Performance, and Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39955-8_5 ◽

2013 ◽

pp. 49-60 ◽

Author(s):

Tiago M. Vale ◽

Ricardo J. Dias ◽

João M. Lourenço

Keyword(s):

Total Order ◽

Transactional Memories

Download Full-text

Runtime Verification for Software Transactional Memories

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16612-9_32 ◽

2010 ◽

pp. 421-435 ◽

Author(s):

Vasu Singh

Keyword(s):

Runtime Verification ◽

Transactional Memories

Download Full-text

Locality-aware adaptive grain signatures for Transactional Memories

2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS) ◽

10.1109/ipdps.2010.5470476 ◽

2010 ◽

Author(s):

Woojin Choi ◽

Jeff Draper

Keyword(s):

Transactional Memories

Download Full-text