Adaptive Model-Based Scheduling in Software Transactional Memory

IEEE Transactions on Computers ◽

10.1109/tc.2019.2954139 ◽

2020 ◽

Vol 69 (5) ◽

pp. 621-632

Author(s):

Pierangelo Di Sanzo ◽

Alessandro Pellegrini ◽

Marco Sannicandro ◽

Bruno Ciciani ◽

Francesco Quaglia

Keyword(s):

Transactional Memory ◽

Software Transactional Memory ◽

Adaptive Model ◽

Download Full-text

Regulating Concurrency in Software Transactional Memory: An Effective Model-based Approach

2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems ◽

10.1109/saso.2013.35 ◽

2013 ◽

Author(s):

Pierangelo Di Sanzo ◽

Francesco Del Re ◽

Diego Rughetti ◽

Bruno Ciciani ◽

Francesco Quaglia

Keyword(s):

Transactional Memory ◽

Effective Model ◽

Software Transactional Memory ◽

Download Full-text

Revisiting software transactional memory in Haskell

ACM SIGPLAN Notices ◽

10.1145/3241625.2976020 ◽

2018 ◽

Vol 51 (12) ◽

pp. 105-113

Author(s):

Matthew Le ◽

Ryan Yates ◽

Matthew Fluet

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model

Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 ◽

10.1145/3352700.3352706 ◽

2019 ◽

Author(s):

Miroslav Popovic ◽

Marko Popovic ◽

Silvia Ghilezan ◽

Branislav Kordic

Keyword(s):

Formal Verification ◽

Transactional Memory ◽

Software Transactional Memory ◽

Download Full-text

Coping with context switches in lock-based software transactional memory

Proceedings of the 4th Annual International Conference on Systems and Storage - SYSTOR '11 ◽

10.1145/1987816.1987831 ◽

2011 ◽

Author(s):

Yehuda Afek ◽

Yoav Cohen ◽

Adam Morrison

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

VectorSTM: Software Transactional Memory without Atomic Instructions

2010 Third International Joint Conference on Computational Science and Optimization ◽

10.1109/cso.2010.145 ◽

2010 ◽

Author(s):

Lin Peng ◽

Lun-guo Xie ◽

Xiao-qiang Zhang ◽

Xin-yan Xie

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Software Transactional Memory Friendly Slot Schedulers

Distributed Computing and Internet Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-04483-5_8 ◽

2014 ◽

pp. 79-85 ◽

Author(s):

Pooja Aggarwal ◽

Smruti R. Sarangi

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Combining Lock Inference with Lock-Based Software Transactional Memory

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09967-5_19 ◽

2014 ◽

pp. 325-341 ◽

Author(s):

Stefan Kempf ◽

Ronald Veldema ◽

Michael Philippsen

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Lightweight Identification of Captured Memory for Software Transactional Memory

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03859-9_2 ◽

2013 ◽

pp. 15-29

Author(s):

Fernando Miguel Carvalho ◽

João Cachopo

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Adaptive, Model-Based Control by the Open-Loop-Feedback-Optimal (OLFO) Controller for the Effective Fed-Batch Cultivation of Hybridoma Cells

Biotechnology Progress ◽

10.1021/bp020035y ◽

2002 ◽

Vol 18 (5) ◽

pp. 1095-1103 ◽

Author(s):

B. Frahm ◽

P. Lane ◽

H. Atzert ◽

A. Munack ◽

M. Hoffmann ◽

...

Keyword(s):

Batch Cultivation ◽

Open Loop ◽

Hybridoma Cells ◽

Adaptive Model ◽

Fed Batch ◽

Model Based Control ◽

Model Based ◽

Loop Feedback ◽

Fed Batch Cultivation

Download Full-text

Adaptive Software Transactional Memory

10.31979/etd.36c7-b763 ◽

2008 ◽

Author(s):

Joel Frank

Keyword(s):

Transactional Memory ◽

Software Transactional Memory ◽

Adaptive Software

Download Full-text