Results 31 to 40 of about 36,627 (309)
Communicating Haskell Processes: Composable Explicit Concurrency Using Monads [PDF]
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify sequence and effects in a functional language, and monadic combinators allow ...
Brown, Neil C.C.
core +1 more source
Background Partner concurrency, (having sexual partnerships overlapping in time), especially when condoms are not used, can facilitate sexually transmitted infections (STI) transmission.
Sonali Wayal +5 more
doaj +1 more source
This paper starts with what seems a fairly general model of concurrent machines and, imposing certain constraints on labellings of input/output occurrences, derives an equivalent model based on a simple generalisation of the partial Mealy automaton.
openaire +1 more source
A parallel search algorithm for formal grammar data types
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
Contains fulltext : 107649.pdf (author's version ) (Open Access)
Nöcker, E.G.J.M.H. +3 more
openaire +2 more sources
Aspect-Oriented Programming (AOP) promises the modularization of so-called crosscutting functionalities in large applications. Currently, almost all approaches to AOP provide means for the description of sequential aspects that are to be applied to a sequential base program.
Douence, Rémi +3 more
openaire +3 more sources
Safe Concurrency Introduction through Slicing [PDF]
Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse.
Huiqing Li +3 more
core +1 more source
PETRI NET MODELLING OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEM [PDF]
The life time of transaction is divided into two stages: executing stage and committing stage. At the executing stage, transaction access data through a concurrency control, while at the committing stage, a commit protocol is executed to ensure failure ...
Haryono, Djoko +2 more
core +1 more source
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
The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems
This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems.
Younes Rouabah, Zhiwu Li
doaj +1 more source

