Results 21 to 30 of about 613,046 (357)
The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems
Mathematics, 2022 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
IEEE Access, 2013 Exploiting the parallelism in multiprocessor systems is a major challenge in modern computer science. Multicore programming demands a change in the way we design and use fundamental data structures.
Damian Dechev +2 more
doaj +1 more source
Implicit attitudes to sexual partner concurrency vary by sexual orientation but not by gender-A cross sectional study of Belgian students. [PDF]
PLoS ONE, 2018 High rates of sexual partner concurrency have been shown to facilitate the spread of various sexually transmitted infections. Assessments of explicit attitudes to concurrency have however found little difference between populations. Implicit attitudes to
Chris R Kenyon +4 more
doaj +1 more source
Understanding Real-World Concurrency Bugs in Go
International Conference on Architectural Support for Programming Languages and Operating Systems, 2019 Go is a statically-typed programming language that aims to provide a simple, efficient, and safe way to build multi-threaded software. Since its creation in 2009, Go has matured and gained significant adoption in production and open-source software.
Tengfei Tu +3 more
semanticscholar +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
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
Proceedings of the 5th international conference on Generative programming and component engineering, 2006 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 +4 more sources
Proving Opacity of Transactional Memory with Early Release
Foundations of Computing and Decision Sciences, 2015 Transactional Memory (TM) is an alternative way of synchronizing concurrent accesses to shared memory by adopting the abstraction of transactions in place of low-level mechanisms like locks and barriers.
Siek Konrad, Wojciechowski Paweł T.
doaj +1 more source
Theoretical Computer Science, 1993 A new approach to the semantic of concurrency is proposed. It is motivated by the remark that the causal order of events is sometimes insufficient to describe adequately some aspect of concurrent behaviour, this happens for example in the case of systems with priority and for Petri nets with inhibitor arcs. Three levels of description are distinguished.
Janicki R, Koutny M
openaire +3 more sources
Concurrency in Timed Automata [PDF]
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LANOTTE, RUGGERO +2 more
openaire +7 more sources