Results 21 to 30 of about 11,242,110 (313)
Analyzing execution path non-determinism of the Linux kernel in different scenarios
Connection Science, 2023 Safety-critical systems play a significant role in industrial domains, and their complexity is increasing with advanced technologies such as Artificial Intelligence (AI).
Yucong Chen +5 more
doaj +1 more source
Entropy, 2021 About a century ago, in the spirit of ancient atomism, the quantum of light was renamed the photon to suggest that it is the fundamental element of everything. Since the photon carries energy in its period of time, a flux of photons inexorably embodies a
Arto Annila
doaj +1 more source
ANACIN-X: A software framework for studying non-determinism in MPI applications
Softw. Impacts, 2021 Non-determinism in MPI applications negatively impacts the debugging and correctness of high performance computing (HPC) and scientific simulations. To help developers and scientists study and understand sources of non-determinism, we present ANACIN-X, a
Patrick Bell +5 more
semanticscholar +1 more source
Proving Non-Deterministic Computations in Agda [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We investigate proving properties of Curry programs using Agda. First, we address the functional correctness of Curry functions that, apart from some syntactic and semantic differences, are in the intersection of the two languages.
Sergio Antoy +2 more
doaj +1 more source
Scientific Reports, 2023 Developments in data mining techniques have significantly influenced the progress of Intelligent Water Systems (IWSs). Learning about the hydraulic conditions enables the development of increasingly reliable predictive models of water consumption.
Justyna Stańczyk +5 more
doaj +1 more source
A Measure of the Non-Determinacy of a Dynamic Neighborhood Model
Systems, 2017 In this paper we define a non-deterministic dynamic neighborhood model. As a special case, a linear neighborhood model is considered. When a non-deterministic neighborhood model functions, it is possible to introduce a restriction on the number of active
Anatoliy Shmyrin, Irina Sedykh
doaj +1 more source
On Distributed Density in Tuple-based Coordination Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Inspired by the chemical metaphor, this paper proposes an extension of Linda-like languages in the aim of modeling the coordination of complex distributed systems.
Denis Darquennes +2 more
doaj +1 more source
Trace Equivalence Decision: Negative Tests and Non-determinism [PDF]
, 2011 We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability.
Cheval, Vincent +2 more
core +2 more sources
Resolving non-determinism in NFA [PDF]
Proceedings of the 4th international conference conference on Computer systems and technologies e-Learning - CompSysTech '03, 2003 The paper describes the authors" experience in simulating nondeterministic finite state automata (NFA) using concurrent programming. The non-determinism is resolved simultaneously by activating a separate thread for all possible transition paths. The approach under discussion may be used to implement specific recognizers in the practice of language ...
Ivan Stoyanov, Stoyan Bonev
openaire +1 more source
Formalizing the Confluence of Orthogonal Rewriting Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of functional specifications. Essentially, orthogonality avoids, on the one side, the inherent ambiguity of non determinism, prohibiting the existence of ...
Ana Cristina Rocha Oliveira +1 more
doaj +1 more source