Results 11 to 20 of about 97,871 (297)

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]

open access: yesElectronic 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   +6 more sources

A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools [PDF]

open access: yes, 2017
Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level notions of threads and shared memory, forcing developers to reason about ...
Marr, Stefan   +4 more
core   +3 more sources

Real-Time Multiobject Tracking Based on Multiway Concurrency

open access: yesSensors, 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

When Concurrency Matters: Behaviour-Oriented Concurrency

open access: yesProceedings 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

Testing concurrent benefits for Section 12L tax incentives in South Africa

open access: yesJournal of Energy in Southern Africa, 2020
The South African energy crisis harms the economy. Tax incentives are intended to help, but rules for incentives must be understood by all stakeholders for taxpayers to be encouraged to invest. Section 12L (S12L) is relatively new legislation that allows
W. Hamer   +4 more
doaj   +1 more source

R-Friendly Multi-Threading in C++

open access: yesJournal 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

LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications

open access: yesIEEE 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

Mathematizing C++ concurrency [PDF]

open access: yes, 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
Haftmann Florian   +7 more
core   +3 more sources

Adaptive Versioning in Transactional Memory Systems

open access: yesAlgorithms, 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

open access: yes, 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   +2 more sources

Home - About - Disclaimer - Privacy