Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,875,638 papers from all fields of science
Search
Sign In
Create Free Account
Bounds checking
Known as:
Bounds check
, Index checking
, Range check
In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before it is used. It is usually used to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
42 relations
ACM Turing Award
ALGOL 60
Ada
Array data structure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Suboptimality Bounds for Stochastic Shortest Path Problems
E. Hansen
Conference on Uncertainty in Artificial…
2011
Corpus ID: 8284117
We consider how to use the Bellman residual of the dynamic programming operator to compute suboptimality bounds for solutions to…
Expand
2009
2009
Hybrid lower bound via compression of the sampled CLR function
K. Todros
,
J. Tabrikian
IEEE/SP 15th Workshop on Statistical Signal…
2009
Corpus ID: 17976794
In this paper, a new class of hybrid lower bounds on the meansquare-error of estimators is proposed. Derivation of the proposed…
Expand
Review
2008
Review
2008
Human risk factors in avalanche incidents
A. Solé
,
C. Emery
2008
Corpus ID: 15109942
An average of 12 people die in avalanches each year in Western Canada. The risk factors for the avalanche phenomenon have been…
Expand
2007
2007
Characterization of probability distributions by variance bounds and its applications
S. Kattumannil
2007
Corpus ID: 122728772
2005
2005
A greedy strategy for detecting negative cost cycles in networks
K. Subramani
,
L. Kovalchick
Future generations computer systems
2005
Corpus ID: 13085492
2004
2004
Unified approach to Cramer-Rao bounds in direction estimation with known signal structures
Yang-Ho Choi
Signal Processing
2004
Corpus ID: 28525536
1998
1998
Methodologies Choice and Adoption : Using Diffusion of Innovations as the Theoretical Framework
J. Wynekoop
,
Nancy L. Russo
,
G. Huber
1998
Corpus ID: 15131561
This goal of this paper is to represent the method choice and adoption factors in two organizations over the 43 years period…
Expand
1997
1997
Robot localization - theory and practice
O. Karch
,
H. Noltemeier
Proceedings of the IEEE/RSJ International…
1997
Corpus ID: 17555033
We consider the first stage of the robot localization problem described as follows: a robot is at an unknown position in an…
Expand
1996
1996
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits
M. Mendler
International Conference on Theorem Proving with…
1996
Corpus ID: 14579350
Up until now classical logic has been the logic of choice in formal hardware verification. This paper advances the application of…
Expand
1975
1975
Time Bounds on the Parallel Evaluation of Arithmetic Expressions
D. Kuck
,
K. Maruyama
SIAM journal on computing (Print)
1975
Corpus ID: 29432697
This paper presents a number of bounds on the parallel processor evaluation of arithmetic expressions. Several previous papers…
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