Results 41 to 50 of about 97,871 (297)
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
, 2018 The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state.
A Avizienis +22 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
The Computer Journal, 1985 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 Logic for True Concurrency [PDF]
, 2014 We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which
Baldan, Paolo, Crafa, Silvia
core +1 more source
Journal of Oncology Practice, 2008 Clarification of the appropriate use of the concurrent drug administration code.
openaire +2 more sources
Deterministic Behavioural Models for Concurrency [PDF]
, 1993 This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation.
Nielsen, M., Sassone, V., Winskel, G.
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source
Concurrency bugs in open source software: a case study
Journal of Internet Services and Applications, 2017 Concurrent programming puts demands on software debugging and testing, as concurrent software may exhibit problems not present in sequential software, e.g., deadlocks and race conditions.
Sara Abbaspour Asadollah +3 more
doaj +1 more source
pony - The occam-pi Network Environment [PDF]
, 2006 Although concurrency is generally perceived to be a `hard' subject, it can in fact be very simple --- provided that the underlying model is simple. The occam-pi parallel processing language provides such a simple yet powerful concurrency model that is ...
Sampson, Adam T., Schweigler, Mario
core
Modular Composition of Language Features through Extensions of Semantic Language Models [PDF]
, 1999 Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension.
Pahl, Claus
core +1 more source