Results 31 to 40 of about 613,046 (357)
Proceedings of the ACM on Programming Languages, 2022 The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions ...
Gal Sela, Erez Petrank
openaire +2 more sources
Adding parallelism to sequential programs – a combined method [PDF]
International Journal of Electronics and TelecommunicationsThe article outlines a contemporary method for creating software for multi-processor computers. It describes the identification of parallelizable sequential code structures. Three structures were found and then carefully examined.
Wiktor B. Daszczuk +2 more
doaj +3 more sources
Survey on Blockchain-Based Smart Contracts: Technical Aspects and Future Research
IEEE Access, 2021 The industrial and computing research context revolutionized in various directions during the last decades. The blockchain-based smart contract embraced as a significant research interest due to its distinguishing features such as decentralized storage ...
Tharaka Mawanane Hewa +4 more
doaj +1 more source
Concurrencies in Reversible Concurrent Calculi
, 2022 The algebraic specification and representation of networks of agents have been greatly impacted by the study of reversible phenomena: reversible declensions of the calculus of communicating systems (CCSK and RCCS) offer new semantic models, finer congruence relations, original properties, and revisits existing theories and results in a finer light. But
openaire +2 more sources
Informatics in Education, 2021 Concurrency is often perceived as difficult by students. One reason for this may be due to the fact that abstractions used in concurrent programs leave more situations undefined compared to sequential programs (e.g., in what order statements are executed)
Filip STRÖMBÄCK +2 more
doaj +1 more source
Theoretical Computer Science, 1988 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gérard Boudol, Ilaria Castellani
openaire +3 more sources
2008 13th Asia-Pacific Computer Systems Architecture Conference, 2008 This is a discussion paper on a very important topic that is about to become mainstream. It deals with the issues of software engineering in concurrent systems. It introduces this topic and illustrates the arguments for a change of perspective. It underlines these arguments with two examples, an asynchronous stream-based programming model and an ...
Jesshope, C., Shafarenko, A.
openaire +2 more sources
R-Friendly Multi-Threading in C++
Journal of Statistical Software, 2021 Calling multi-threaded C++ code from R has its perils. Since the R interpreter is single-threaded, one must not check for user interruptions or print to the R console from multiple threads. One can, however, synchronize with R from the main thread. The R
Thomas Nagler
doaj +1 more source
Adaptive Versioning in Transactional Memory Systems
Algorithms, 2021 Transactional memory has been receiving much attention from both academia and industry. In transactional memory, program code is split into transactions, blocks of code that appear to execute atomically.
Pavan Poudel, Gokarna Sharma
doaj +1 more source
TicToc: Time Traveling Optimistic Concurrency Control
SIGMOD Conference, 2016 Concurrency control for on-line transaction processing (OLTP) database management systems (DBMSs) is a nasty game. Achieving higher performance on emerging many-core systems is difficult.
Xiangyao Yu +3 more
semanticscholar +1 more source