Results 1 to 10 of about 104,454 (340)
Flexible Concurrency Control for Legacy CAD to Construct Collaborative CAD Environment
Journal of Advanced Mechanical Design, Systems and Manufacturing, 2012 Collaborative CAD (Co-CAD) systems can be constructed based on either 3D kernel or legacy stand-alone CAD systems, which are typically commercial CAD systems such as CATIA, Pro/E and so on.
Xiantao Cai, Fazhi He, Soonhung Han
exaly +3 more sources
DAIMI Report Series, 1991 Abstract The purpose of this chapter is to provide a survey of the fundamental models for distributed computations used and studied within theoretical computer science. Such models have the nature of mathematical formalisms in which to describe and reason about the behaviour of distributed computational systems.
Nielsen, Mogens, Winskel, Glynn
openaire +7 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
Towards Composable Concurrency Abstractions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory.
Janwillem Swalens +3 more
doaj +1 more source
Stackable Transactional File System Using Kernel-Level WAL
IEEE Access, 2022 User applications that require transactional file access generally use user-level transactional protocols such as logging, atomic rename, since the POSIX interface does not support transactional file operations.
Daejun Park, Dongkun Shin
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
Concurrence of superpositions [PDF]
Physical Review A, 2007 The bounds on concurrence of the superposition state in terms of those of the states being superposed are studied in this paper. The bounds on concurrence are quite different from those on the entanglement measure based on von Neumann entropy (Phys. Rev. Lett. 97, 100502 (2006)).
Chang-shui Yu, X. X. Yi, He-Shan Song
openaire +3 more sources
PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification
IEEE Access, 2020 Multi-core techniques have been widely used in various hardware platforms, promoting development of concurrent programs. Unfortunately, concurrent programs are prone to concurrency errors.
Zhenwu Xu +3 more
doaj +1 more source
A Scalable Data Structure for Efficient Graph Analytics and In-Place Mutations
Data, 2023 The graph model enables a broad range of analyses; thus, graph processing (GP) is an invaluable tool in data analytics. At the heart of every GP system lies a concurrent graph data structure that stores the graph. Such a data structure needs to be highly
Soukaina Firmli, Dalila Chiadmi
doaj +1 more source
Converting Concurrent Range Index Structure to Range Index Structure for Disaggregated Memory
Applied Sciences, 2023 In this work, we propose the Spread approach, which tailors a concurrent range index structure to a range index structure for disaggregated memory connected via RDMA (Remote Direct Memory Access).
Bonmoo Koo +3 more
doaj +1 more source