Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,060,334 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.
2017
2017
Polynomial time estimates for #SAT
Bernd R. Schuh
arXiv.org
2017
Corpus ID: 12168317
Limits on the number of satisfying assignments for CNS instances with n variables and m clauses are derived from various…
Expand
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
Multi CPU invalidate operation bypass through address range check
纳韦恩·布霍里亚
,
拉古拉姆·达莫达兰
,
阿比吉特·阿肖克·查查德
2013
Corpus ID: 70046996
The invention relates to a cache memory system and a method for performing a block invalidate operation. A method in embodiments…
Expand
2013
2013
Hierarchical Clustering For Cancer Discovery Using Range Check And Delta Check
Breetha S
,
Kavinila
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
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
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
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
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