Results 281 to 290 of about 11,242,110 (313)

Complexity Theory and Non-determinism

2019
In order to establish some common ground on various concepts from computational complexity theory that will play a role in this thesis, we begin with giving a brief overview of these concepts. This will also allow us to clarify some notation that we will use throughout the thesis.
openaire   +1 more source

Kolmogorov complexity and non-determinism

1998
We are concerned with Kolmogorov complexity of strings produced by non-deterministic algorithms. For this, we consider binary recursively enumerable relations, named description modes. We give conditions on the class of description modes to provide a Kolmogorov entropy.
Grigorieff, Serge, Marion, Jean-Yves
openaire   +1 more source

Modeling non-determinism of scientific applications

2020
As the scientific community prepares to deploy an increasingly complex and di- verse set of applications on upcoming exascale platforms, the need for methods to assess reproducibility of simulations and identify the root causes of reproducibility failures in- creases correspondingly.
openaire   +2 more sources

Non-determinism in a functional setting

[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 2002
The pure untyped lambda calculus augmented with an (erratic) choice operator is considered as an idealised nondeterministic functional language. Both the 'may' and the 'must' modalities of convergence are of interest. Following Abramsky's (1991) work on domain theory in logical form, we identify the denotational type that captures the computational ...
openaire   +1 more source

Non-determinism in User-Machine Interaction

2003
There is a basic and fundamental notion in the world of automated machines and software design that is used to characterize the type of user interaction problem that we identified in the remote control example from the previous chapter. It is called non-determinism, and refers to a system that behaves in a way that cannot be determined.
openaire   +1 more source

A Survey on Parallelism and Determinism

ACM Computing Surveys, 2023
Laure Gonnord, Ludovic Henrio, Lionel Morel   +2 more
exaly  

DETERMINISM, RESPONSIBILITY, AND ILLNESS

Lancet, The, 1962
exaly   +8 more sources

Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars

International Conference on Model Transformation, 2017
Frank Trollmann, S. Albayrak
semanticscholar   +1 more source

Non-determinism and Failure Modes in Machine Learning

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017
J. Faria
semanticscholar   +1 more source

Semi-automated Reasoning About Non-determinism in C Expressions

European Symposium on Programming, 2019
D. Frumin, Léon Gondelman, Robbert Krebbers   +2 more
semanticscholar   +1 more source