Results 11 to 20 of about 104,454 (340)
, 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
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
Proceedings of the ACM on Programming Languages, 2022 The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions ...
Gal Sela, Erez Petrank
openaire +2 more sources
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
The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems
Mathematics, 2022 This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems.
Younes Rouabah, Zhiwu Li
doaj +1 more source
Logical Methods in Computer Science, 2018 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
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
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay [PDF]
The Art, Science, and Engineering of Programming, 2021, Vol. 5,
Issue 3, Article 14, 2021 With concurrency being integral to most software systems, developers combine high-level concurrency models in the same application to tackle each problem with appropriate abstractions. While languages and libraries offer a wide range of concurrency models, debugging support for applications that combine them has not yet gained much attention.
arxiv +1 more source
IEEE 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