Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 240,920,833 papers from all fields of science
Search
Sign In
Create Free Account
Bit array
Known as:
Boolean array
, Bit string
, Bitvector
Expand
A bit array (also known as bitmap, bitset, bit string, or bit vector) is an array data structure that compactly stores bits. It can be used to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
APL
Arithmetic logic unit
Array data structure
Binary data
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A Bit-Vector Solver with Word-Level Propagation
Wen-Xi Wang
,
H. Søndergaard
,
Peter James Stuckey
Integration of AI and OR Techniques in Constraint…
2016
Corpus ID: 2491998
Reasoning with bit-vectors arises in a variety of applications in verification and cryptography. Michel and Van Hentenryck have…
Expand
Review
2011
Review
2011
Error Control Techniques and Their Applications
Rubal Chaudhary
,
Vrinda Gupta
2011
Corpus ID: 18268572
-This paper is an introduction to the subject of error-control coding. Undesirable disturbances like noise, EMI, crosstalk can…
Expand
2010
2010
ASSOCIATION RULE MINING BASED ON IMAGE CONTENT
D. Deshpande
2010
Corpus ID: 212516579
Image mining is concerned with knowledge discovery in image databases. We present a data mining approach to find association…
Expand
2009
2009
A Low-Complexity High-Radix RNS Multiplier
I. Kouretas
,
Vassilis Paliouras
IEEE Transactions on Circuits and Systems Part 1…
2009
Corpus ID: 5326504
A graph-based technique is introduced for the design of a class of residue arithmetic multipliers, as well as a family of new…
Expand
2005
2005
Identity-Based Encryption with Conventional Public-Key Infrastructure
J. Callas
2005
Corpus ID: 18386761
This paper proposes an identity-based encryption (IBE) scheme based on traditional public-key cryptographic systems, such as RSA…
Expand
1999
1999
Solving Bit-Vector Equations of Fixed and Non-Fixed Size
M. Möller
,
H. Ruess
1999
Corpus ID: 16773928
This report is concerned with solving equations on fixed and non-fixed size bit-vector terms. We define an equational…
Expand
1998
1998
A Comparative Study of Reaching-definitions Analyses
J. Collard
,
Jens Knoop
1998
Corpus ID: 5926966
Reaching-deenitions analysis (RDA), i.e., computing the use sites of the left-hand sides of assignments, is a classical data-ow…
Expand
1995
1995
Improving the Address Translation Performance of Widely Shared Pages
Y. A. Khalidi
,
Madhusudhan Talluri
1995
Corpus ID: 495237
Operating systems allow multiple processes to share physical objects, e.g., shared libraries, System V shared memory. Many UNIX…
Expand
1993
1993
A model checker for statecharts (linking case tools with formal methods)
N. A. Day
1993
Corpus ID: 60739372
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in…
Expand
1990
1990
Pattern-based languages for prototyping of compiler optimizers
C. Farnum
1990
Corpus ID: 60447674
Choosing an appropriate set of optimizations for a particular compiler is a black art; the literature abounds with unimplemented…
Expand