Results 21 to 30 of about 36,627 (309)
Torwards Concrete Concurrency: occam-pi on the LEGO Mindstorms [PDF]
, 2005 In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about dynamic and concurrent systems.
Matthew C. Jadud +3 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
When Concurrency Matters: Behaviour-Oriented Concurrency
Proceedings of the ACM on Programming Languages, 2023 Expressing parallelism and coordination is central for modern concurrent programming. Many mechanisms exist for expressing both parallelism and coordination. However, the design decisions for these two mechanisms are tightly intertwined. We believe that the interdependence of these two mechanisms should be recognised and achieved through a single,
Luke Cheeseman +7 more
openaire +2 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
Permission-based separation logic for message-passing concurrency [PDF]
, 2010 We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission-resources and define a reduction semantics for this extended language ...
Julian Rathke +8 more
core +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
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 +2 more
doaj +1 more source
Clarifying and compiling C/C++ concurrency: from C++11 to POWER [PDF]
, 2012 The upcoming C and C++ revised standards add concurrency to the languages, for the first time, in the form of a subtle *relaxed memory model* (the *C++11 model*).
Sarkar, Susmit +9 more
core +1 more source
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 +4 more
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