Results 11 to 20 of about 36,627 (309)
Models for Concurrency: Towards a Classification [PDF]
, 1996 Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time.
Winskel, G., Nielsen, M., Sassone, V.
core +2 more sources
When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs
IEEE Access, 2023 Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security.
Oscar Llorente-Vazquez +2 more
doaj +1 more source
, 2023 AbstractTrace properties, which are sets of execution traces, are often used to analyze systems, but their expressiveness is limited. Clarkson and Schneider defined hyperproperties as a generalization of trace properties to sets of sets of traces. Typical applications of hyperproperties are found in information flow security.
Bernd Finkbeiner, Ernst-Rüdiger Olderog
openaire +3 more sources
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
R-Friendly Multi-Threading in C++
Journal of Statistical Software, 2021 Calling multi-threaded C++ code from R has its perils. Since the R interpreter is single-threaded, one must not check for user interruptions or print to the R console from multiple threads. One can, however, synchronize with R from the main thread. The R
Thomas Nagler
doaj +1 more source
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
Stefan Marr +6 more
doaj +1 more source
Mathematizing C++ concurrency [PDF]
, 2011 Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees to specify concurrent behaviour in the next versions of both languages. They
Sarkar, Susmit +9 more
core +1 more source
Adaptive Versioning in Transactional Memory Systems
Algorithms, 2021 Transactional memory has been receiving much attention from both academia and industry. In transactional memory, program code is split into transactions, blocks of code that appear to execute atomically.
Pavan Poudel, Gokarna Sharma
doaj +1 more source
Concurrencies in Reversible Concurrent Calculi
, 2022 The algebraic specification and representation of networks of agents have been greatly impacted by the study of reversible phenomena: reversible declensions of the calculus of communicating systems (CCSK and RCCS) offer new semantic models, finer congruence relations, original properties, and revisits existing theories and results in a finer light. But
openaire +3 more sources
The Problem of Programming Language Concurrency Semantics [PDF]
, 2015 Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code.
Kyndylan Nienhuis +9 more
core +2 more sources