Results 31 to 40 of about 192,076 (327)

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

Concurrent NetKAT [PDF]

, 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, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva   +5 more
openaire   +4 more sources

The construction of an idealised urban masculinity among men with concurrent sexual partners in a South African township

Global Health Action, 2010
Background : The perspectives of heterosexual males who have large sexual networks comprising concurrent sexual partners and who engage in high-risk sexual behaviours are scarcely documented.
Anna Mia Ekström, Mickey Chopra, Anna Thorson, Loraine Townsend, Anders Ragnarsson   +4 more
doaj   +1 more source

Coital frequency and condom use in monogamous and concurrent sexual relationships in Cape Town, South Africa [PDF]

, 2013
Introduction: A decreased frequency of unprotected sex during episodes of concurrent relationships may dramatically reduce the role of concurrency in accelerating the spread of HIV.
Alex Welte, Ayles, Beauclair, Boily, Chimbindi, Chimbiri, Chopra, Cnaan, Delva, Dolezal, Eaton, Elst, Epstein, Fei Meng, Fleming, Goodreau, Harrison, Hewett, Kabiru, Kasamba, Kissinger, Kretzschmar, Lagarde, Luke, Lurie, Mah, Maher, Mahiane, Marleen Temmerman, Maughan-Brown, Mishra, Morris, Nele Deprez, Niel Hens, Onoya, Phillips, Powers, Reniers, Reniers, Roxanne Beauclair, Sawers, Sawers, Shisana, Steffenson, Tanser, UNAIDS Reference Group on Estimates Modelling and Projections: Working Group on Measuring Concurrent Sexual Partnerships, Voeten, Wasserheit, Westercamp, Westoff, Wim Delva, Xu   +51 more
core   +3 more sources

Concurrent clean [PDF]

, 1991
Contains fulltext : 107649.pdf (author's version ) (Open Access)
Nöcker, E.G.J.M.H., Smetsers, J.E.W., Eekelen, M.C.J.D. van, Plasmeijer, M.J.   +3 more
openaire   +2 more sources

Adding parallelism to sequential programs – a combined method [PDF]

International Journal of Electronics and Telecommunications
The 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, Denny B. Czejdo, Wociech Grześkowiak   +2 more
doaj   +3 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

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

The Non-Deterministic Path to Concurrency – Exploring how Students Understand the Abstractions of Concurrency

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, Linda MANNILA, Mariam KAMKAR   +2 more
doaj   +1 more source

Concurrent Counting

Journal of Computer and System Sciences, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Moran, Shlomo, Taubenfeld, Gadi, Yadin, Irit   +2 more
openaire   +1 more source