Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,702,534 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.
2006
2006
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
G. Pu
,
Huibiao Zhu
,
Zongyan Qiu
,
Shuling Wang
,
Xiangpeng Zhao
,
J. He
International Conference on Formal Methods for…
2006
Corpus ID: 14377694
Web Services have become more and more important in these years, and BPEL4WS is a de facto standard for the web service…
Expand
Highly Cited
2005
Highly Cited
2005
Improving the real-time behavior of ethernet networks using traffic smoothing
L. L. Bello
,
G. A. Kaczynski
,
O. Mirabella
IEEE Transactions on Industrial Informatics
2005
Corpus ID: 10833663
In modern process control systems, Ethernet is achieving a leading position, proposing itself as a network capable of supporting…
Expand
2002
2002
Tracing externalities as sources of indeterminacy
S. Harrison
,
M. Weder
2002
Corpus ID: 16596213
2000
2000
Exploiting non-determinism for reliability of mobile agent systems
Ajay Mohindra
,
A. Purakayastha
,
P. Thati
Proceeding International Conference on Dependable…
2000
Corpus ID: 6028499
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable…
Expand
1999
1999
Reactivity in a Logic-Based Robot Programming Framework
Y. Lespérance
,
K. Tam
,
M. Jenkin
ATAL
1999
Corpus ID: 900899
A robot must often react to events in its environment and exceptional conditions by suspending or abandoning its current plan and…
Expand
Highly Cited
1998
Highly Cited
1998
The iconic page in manuscript, print, and digital culture
G. Bornstein
,
Theresa Tinkle
1998
Corpus ID: 193366635
Introduction / George Bornstein and Theresa Tinkle -- Alfred the Great's burn Boethius / Kevin Kiernan -- Sensations of the page…
Expand
Review
1996
Review
1996
Japanese Sentence Processing
R. Mazuka
,
N. Nagai
1996
Corpus ID: 62804762
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor…
Expand
1990
1990
TDFL: A Task-Level Dataflow Language
P. Suhler
,
J. Biswas
,
K. Korner
,
J. Browne
J. Parallel Distributed Comput.
1990
Corpus ID: 40742799
1989
1989
Multiparty Interactions for Interprocess Communication and Synchronization
M. Evangelist
,
N. Francez
,
Shmuel Katz
IEEE Trans. Software Eng.
1989
Corpus ID: 206415800
The authors consider the essential properties of a multiparty interaction construct which serves as a primitive for interprocess…
Expand
1984
1984
Information Transfer under Different Sets of Protocols
J. JáJá
,
V. Prasanna
,
Janos Simon
SIAM journal on computing (Print)
1984
Corpus ID: 21209469
We study four kinds of protocols in distributed computing. Besides the case of deterministic protocols, we consider random…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE