Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,855,543 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.
2016
2016
SMOV: Array Bound-Check and access in a single instruction
Antônio A. M. Maia
,
Leandro T. C. Melo
,
Fernando Magno Quintão Pereira
,
O. V. Neto
,
Leonardo B. Oliveira
Consumer Communications and Networking Conference
2016
Corpus ID: 15169396
A Buffer Overflow (BOF) continues to be among the top open doors to worms and malware. Earlier in 2014, the security world was…
Expand
2013
2013
Hierarchical Clustering For Cancer Discovery Using Range Check And Delta Check
Breetha
2013
Corpus ID: 993424
Class discovery is one of the most important tasks in cancer classification using biomolecular data. To perform this, a multiple…
Expand
2012
2012
Froissart Bounds for Amplitudes and Cross Sections at High Energies
Y. Azimov
2012
Corpus ID: 119178750
High-energy behavior of total cross sections is discussed in experiment and theory. Origin and meaning of the Froissart bounds…
Expand
2003
2003
On Recent Cheeger-Type Bounds for Nonmaximal Eigenvalues Applied to Positive Matrices
S. Walker
SIAM Journal on Matrix Analysis and Applications
2003
Corpus ID: 31234993
This paper is concerned with Cheeger-type bounds for nonmaximal eigenvalues of nonnegative irreducible matrices. It is shown that…
Expand
2003
2003
Skewed Occurrence Frequency of Water Temperature and Salinity in the Subarctic Regions
Sachiko Oguma
,
Toru Suzuki
,
S. Levitus
,
Y. Nagata
2003
Corpus ID: 129826050
In a previous paper (Oguma and Nagata, 2002), it was shown that frequency distributions of temperature and salinity in the sea…
Expand
2001
2001
H-inf control of uncertain systems using Horowitz bounds
C. Fransson
,
B. Lennartson
,
T. Wik
,
P. Gutman
2001
Corpus ID: 60109527
1999
1999
Iterative Receiver Techniques for Coded Multiple Access Communication Systems
M. Reed
1999
Corpus ID: 13246328
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
1980
1980
Effective machine descriptors for Ada
J. Bishop
SIGPLAN Conferences and Workshops
1980
Corpus ID: 16421154
With the impetus provided by the U.S. Department of Defense's support for Ada, serious attention must once again be given to the…
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