Results 31 to 40 of about 190,212 (326)
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
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
Journal of Computer and System Sciences, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Moran, Shlomo +2 more
openaire +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 +51 more
core +3 more sources
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
, 1982 This paper will appear in "Operating Systems Engineering," M. Maekawa, ed., Springer-Verlag, 1982. This paper is a revised version of one published in Research Directions in Software Technology · , P. Wegner, editor. This research was supported by t~ National Science Foundation under grant DCR7 5-04060 and by the Advanced Research Projects Agency of ...
Bryant, Randal E., Dennis, Jack B.
openaire +2 more sources
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 +3 more sources
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software [PDF]
, 2012 Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months.
A. Leung +14 more
core +1 more source
Predicting Student Grades Based on Their Usage of LMS Moodle Using Petri Nets
Applied Sciences, 2019 This paper deals with the possibility of predicting student’s grades based on their usage of Learning Management System (LMS) Moodle. It is important to know what materials would be best suited in LMS as study materials and what materials could be ...
Zoltán Balogh, Michal Kuchárik
doaj +1 more source
Maintaining consistency in distributed systems [PDF]
, 1991 In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors.
Birman, Kenneth P.
core +3 more sources