Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,098,707 papers from all fields of science
Search
Sign In
Create Free Account
NTIME
Known as:
Non-deterministic time
, Nondeterministic time
In computational complexity theory, the complexity class NTIME(f(n)) is the set of decision problems that can be solved by a non-deterministic Turing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Advice (complexity)
Complexity class
Computational complexity theory
DSPACE
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs
Mohan Baruwal Chhetri
,
M. Lumpe
,
Quoc Bao Vo
,
R. Kowalczyk
International Conference on Edge Computing…
2017
Corpus ID: 3388999
Abstract-In this paper, we study forecasting through time series decomposition to predict Amazon Elastic Compute Cloud (EC2) Spot…
Expand
2014
2014
An FPGA-Based Plant-on-Chip Platform for Cyber-Physical System Analysis
Sudhanshu Vyas
,
C. K. Ng
,
Joseph Zambreno
,
C. Gill
,
R. Cytron
,
Phillip H. Jones
IEEE Embedded Systems Letters
2014
Corpus ID: 16068466
Digital control systems are traditionally designed independent of their implementation platform, assuming constant sensor…
Expand
2005
2005
Using Symbolic DEVS Simulation to Generate Optimal Traffic Signal Timings
Jong-Keun Lee
,
SungDo Chi
International Conference on Advances in System…
2005
Corpus ID: 12691157
This article applies the advanced symbolic Discrete Event System Specification (DEVS) simulation method to the optimal signal…
Expand
2005
2005
Synchro-tokens: a deterministic GALS methodology for chip-level debug and test
Matthew W. Heath
,
W. Burleson
,
I. Harris
IEEE transactions on computers
2005
Corpus ID: 29199618
This paper describes a novel deterministic globally-asynchronous locally-synchronous (GALS) methodology called "synchro-tokens…
Expand
2005
2005
Navigating in the Cayley graphs of SL_N(Z) and SL_N(F_p)
T. Riley
2005
Corpus ID: 10269550
We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with…
Expand
2003
2003
Derandomization and distinguishing complexity
Eric Allender
,
M. Koucký
,
Detlef Ronneburger
,
Sambuddha Roy
18th IEEE Annual Conference on Computational…
2003
Corpus ID: 7441506
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [E. Allender (2001…
Expand
1990
1990
A Note on the Almost-Everywhere Hierarchy for Nondeterministic Time
Eric Allender
,
R. Beigel
,
U. Hertrampf
,
S. Homer
Symposium on Theoretical Aspects of Computer…
1990
Corpus ID: 31969312
We present an a.e. complexity hierarchy for nondeterministic time, and show that it is essentially the best result which can be…
Expand
1988
1988
Non-Horn clause logic programming without contrapositives
D. Plaisted
Journal of automated reasoning
1988
Corpus ID: 3161861
We present an extension of Prolog-style Horn clause logic programming to full first order logic. This extension has some…
Expand
1978
1978
On time-space classes and their relation to the theory of real addition
Anna R. Bruss
,
A. Meyer
Theoretical Computer Science
1978
Corpus ID: 15461756
A new lower bound on the computational complexity of the theory of real addition and several related theories is established: any…
Expand
1974
1974
NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES
J. Seiferas
1974
Corpus ID: 118839853
The marginal utility of the Turing machine computational resources running time and storage space are studied. A technique is…
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