Results 11 to 20 of about 613,046 (357)
Logical Methods in Computer Science, 2021 We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result of this paper is that not all HDA can be sculpted, exemplified through several natural acyclic HDA,
Fahrenberg, Uli +3 more
openaire +5 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
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
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
Testing concurrent benefits for Section 12L tax incentives in South Africa
Journal 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
A parallel search algorithm for formal grammar data types
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2018 In this paper, we developed a concurrent generic heuristic algorithm for parallel parsing and searching in structured text datasets. The main objective of the algorithm was to increase an efficiency of central processing unit dependent operations when ...
Anastasiia O. Prodan
doaj +1 more source
Journal of Computer and System Sciences, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Irit Yadin +2 more
openaire +3 more sources
, 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 +2 more sources
Global Health Action, 2010 Background : The perspectives of heterosexual males who have large sexual networks comprising concurrent sexual partners and who engage in high-risk sexual behaviours are scarcely documented.
Anna Mia Ekström +4 more
doaj +1 more source
BMC Public Health, 2020 Background Partner concurrency, (having sexual partnerships overlapping in time), especially when condoms are not used, can facilitate sexually transmitted infections (STI) transmission.
Sonali Wayal +5 more
doaj +1 more source