Both local and distributed Python STMs are targeting a wide range of application domains,
including critical infrastructures, such as cyber-physical systems, internet of things, etc., and …

Concurrent data structures implemented with software transactional memory (STM) perform
poorly when operations which do not conflict in the definition of the abstract data type …

Abstract Modern High Performance Computing (HPC) systems are made up of thousands of
server-grade compute nodes linked through a high-speed network interconnect. Each node …

This paper proposes a new concurrent heap algorithm, based on a stateless shape property,
which efficiently maintains balance during insert and removeMin operations implemented …

У дисертацији је развијена дистрибуирана софтверска трансакциона меморија у
језику Пајтон, која је формално верификована, отпорна на отказе, детерминистичка, и …

Transactional memory is a concurrency primitive that is easier to reason about and therefore
less error prone than locking, but traditional software implementations have been …

U disertaciji je razvijena distribuirana softverska transakciona memorija u jeziku Pajton, koja
je formalno verifikovana, otporna na otkaze, deterministička, i implementirana kao proširenje …

Most STM systems are poorly equipped to support libraries of concurrent data structures.
One reason is that they typically detect conflicts by tracking transactions' read sets and write …