Results 41 to 50 of about 192,076 (327)
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
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
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
, 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
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
A comparison of classical scheduling approaches in power-constrained block-test scheduling [PDF]
, 2000 Classical scheduling approaches are applied here to overcome the problem of unequal-length block-test scheduling under power dissipation constraints. List scheduling-like approaches are proposed first as greedy algorithms to tackle the fore mentioned ...
Muresan, Valentin +3 more
core +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 +3 more sources
Regression-free Synthesis for Concurrency [PDF]
, 2014 While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a set of program transformations we consider in for repair process.
Henzinger, Thomas A. +4 more
core +5 more sources
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
, 2019 To utilize the multi-core processors properly concurrent programming is needed. Concurrency control is the main challenge while designing a correct and efficient concurrent program.
Juyal, Chirag +4 more
core +1 more source