BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
path (1)
algorithm (1)
precis (1)
bit (1)
encod (1)

Stem bitvector$ (all stems)

5 papers:

Skewed partial bitvectors for list intersection (AK, FWT), pp. 263–272.
SASSAS-2010-FarzanK #analysis #composition #concurrent #source code
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.
DATEDATE-2009-HeH #algorithm #encoding #performance #verification
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
STOCSTOC-2000-BuhrmanMRV #question
Are bitvectors optimal? (HB, PBM, JR, SV), pp. 449–458.
TACASTACAS-1995-KnoopSV #analysis #exclamation #explosion #for free #parallel
Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.