Results 41 to 50 of about 613,046 (357)
Discrete Event Dynamic Systems, 2006 Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that the trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
Badouel, Eric +4 more
openaire +3 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
Real-Time Multiobject Tracking Based on Multiway Concurrency
Sensors, 2021 This paper explored a pragmatic approach to research the real-time performance of a multiway concurrent multiobject tracking (MOT) system. At present, most research has focused on the tracking of single-image sequences, but in practical applications ...
Xuan Gong, Zichun Le, Yukun Wu, Hui Wang
doaj +1 more source
Revolutionizing Supply Chain Management: Real-time Data Processing and Concurrency
International Journal of Innovative Science and Research TechnologyIn the contemporary business landscape, effective supply chain management (SCM) is paramount for organizations seeking to thrive amidst evolving market dynamics and heightened customer expectations.
Suwarna Shukla, Prabhneet Singh
semanticscholar +1 more source
Modelling the ARMv8 architecture, operationally: concurrency and ISA
ACM-SIGACT Symposium on Principles of Programming Languages, 2016 In this paper we develop semantics for key aspects of the ARMv8 multiprocessor architecture: the concurrency model and much of the 64-bit application-level instruction set (ISA).
Shaked Flur +7 more
semanticscholar +1 more source
, 2022 AbstractWe introduce Concurrent (), an extension of with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered multisets (pomsets), which are a well-established mathematical structure for defining the denotational semantics of ...
Jana Wagemaker +5 more
openaire +4 more sources
On optimistic methods for concurrency control
Very Large Data Bases Conference, 1979 Most current approaches to concurrency control in database systems rely on locking of data objects as a control mechanism. In this paper, two families of nonlocking concurrency controls are presented.
H. T. Kung, J. T. Robinson
semanticscholar +1 more source
Frontiers in Public Health, 2021 Background: Alcohol consumption and distress have increased among Canadians since the start of the COVID-19 pandemic.Methods: We examined whether sociodemographic and COVID-19-related worries are associated with various combinations of alcohol ...
Fatima Mougharbel +12 more
doaj +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
Mathematical Structures in Computer Science, 2021 AbstractWe show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras of functions from relational structures with two ternary relations that satisfy relational interchange laws into concurrent quantales or Kleene algebras, among others.
James Cranch +2 more
openaire +2 more sources