Results 21 to 30 of about 190,212 (326)
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
A Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +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
, 2022 AbstractWe introduce Concurrent (), an extension of with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered multisets (pomsets), which are a well-established mathematical structure for defining the denotational semantics of ...
Jana Wagemaker +5 more
openaire +4 more sources
A parallel search algorithm for formal grammar data types
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2018 In this paper, we developed a concurrent generic heuristic algorithm for parallel parsing and searching in structured text datasets. The main objective of the algorithm was to increase an efficiency of central processing unit dependent operations when ...
Anastasiia O. Prodan
doaj +1 more source
, 1991 Contains fulltext : 107649.pdf (author's version ) (Open Access)
Nöcker, E.G.J.M.H. +3 more
openaire +2 more sources
DESIGNING MULTITHREADED SOFTWARE BASED ON CONCURRENCY IN THE PROBLEM DOMAIN
TASK Quarterly, 2021 Event-sequence modeling is a thread-architectural style for event-driven software. It bases the set of threads in a multithreaded program on an event-sequence model of the problem domain. Each event sequence is a time-ordered set of event occurrences in
BO I. SANDÉN
doaj +1 more source
SAHARA-J, 2019 Couple relationship functioning impacts individual health and well-being, including HIV risk, but scant research has focused on emic understandings of relationship quality in African populations.
Allison Ruark +6 more
doaj +1 more source
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
HIV and Concurrent Sexual Partnerships: Modelling the Role of Coital Dilution [PDF]
, 2011 Background: The concurrency hypothesis asserts that high prevalence of overlapping sexual partnerships explains extraordinarily high HIV levels in sub-Saharan Africa.
Isaac, Alan G. +2 more
core +4 more sources