Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,501,221 papers from all fields of science
Search
Sign In
Create Free Account
Nondeterministic algorithm
Known as:
Non-deterministic algorithm
In computer science, a nondeterministic algorithm is an algorithm that, even for the same input, can exhibit different behaviors on different runs…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Advice (complexity)
Algorithm
Asymptotic computational complexity
Communicating sequential processes
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
UNCERTAINTY REDUCTION IN BIG DATA CATALOGUE FOR INFORMATION PRODUCT QUALITY EVALUATION
2018
Corpus ID: 56307657
Big data information technology is the set of methods and means of processing different types of structured and unstructured…
Expand
2013
2013
Performance Analysis of Computing Servers using Stochastic Petri Nets and Markov Automata
J. Katoen
,
T. Noll
,
T. Santen
,
D. Seifert
,
Hao Wu
2013
Corpus ID: 11698026
Generalised Stochastic Petri Nets (GSPNs) are a widely used modeling formalism in the field of performance and dependability…
Expand
2010
2010
Protocol contracts with application to choreographed multiparty collaborations
A. McNeile
Service Oriented Computing and Applications
2010
Corpus ID: 18201219
E-commerce collaborations and cross-organizational workflow applications are increasingly attractive given the universal…
Expand
2010
2010
Tool support for qualitative reasoning in event-B
E. Yılmaz
2010
Corpus ID: 59573460
Event-B is a notation and method for modelling discrete transition systems by re nement. The standard reasoning in Event-B is…
Expand
Review
2008
Review
2008
The Story of One: Humanity scholarship with visualization and text analysis
Tanya E. Clement
,
C. Plaisant
,
Romain Vuillemot
2008
Corpus ID: 149081947
Most critiques of The Making of Americas (Paris 1925) by Gertrude Stein contend that the text deconstructs the role narrative…
Expand
2006
2006
VoIP Quality Assessment: Taking Account of the Edge-Device
S. Broom
IEEE Transactions on Audio, Speech, and Language…
2006
Corpus ID: 14536351
Voice-over-IP networks (VoIP) have yet to be universally accepted as a replacement for public switched telephone network services…
Expand
1998
1998
Toward Automatic Detection of Software Failures
T. Savor
,
R. Seviora
Computer
1998
Corpus ID: 206411473
To date, no method has explicitly and cost effectively dealt with failure detection in software systems whose specifications are…
Expand
1995
1995
Service Validation and Testing
B. Kelly
,
M. Crowther
,
J. King
,
R. Masson
,
Jacques DeLapeyre
FIW
1995
Corpus ID: 10779010
In the context of evaluating IN service implementations from vendors and BT , we have developed and applied structured modelling…
Expand
1993
1993
A model checker for statecharts (linking case tools with formal methods)
N. A. Day
1993
Corpus ID: 60739372
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in…
Expand
1992
1992
Making Room for Peoples at the United Nations: Thoughts Provoked by Indigenous Claims to Self-Determination
M. Lâm
1992
Corpus ID: 150705499