BitMapper: an efficient all-mapper based on bit-vector computing

BMC Bioinformatics ◽

10.1186/s12859-015-0626-9 ◽

2015 ◽

Vol 16 (1) ◽

Author(s):

Haoyu Cheng ◽

Huaipan Jiang ◽

Jiaoyun Yang ◽

Yun Xu ◽

Yi Shang

Keyword(s):

Vector Computing

Download Full-text

A Decision Procedure for Bit-Vector Arithmetic

10.21236/ada400400 ◽

1998 ◽

Author(s):

Clark W. Barrett ◽

David L. Dill ◽

Jeremy R. Levitt

Keyword(s):

Decision Procedure ◽

Download Full-text

On How Bit-Vector Logic Can Help Verify LTL-based Specifications

IEEE Transactions on Software Engineering ◽

10.1109/tse.2020.3014394 ◽

2020 ◽

pp. 1-1

Author(s):

Mohammad Mehdi Pourhashem Kallehbasti ◽

Matteo Giovanni Rossi ◽

Luciano Baresi

Keyword(s):

Download Full-text

Multi-modal actuation with the activation bit vector machine

Cognitive Systems Research ◽

10.1016/j.cogsys.2020.10.022 ◽

2021 ◽

Vol 66 ◽

pp. 162-175

Author(s):

H.R. Schmidtke

Keyword(s):

Download Full-text

Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_15 ◽

2018 ◽

pp. 273-291 ◽

Author(s):

Martin Jonáš ◽

Jan Strejček

Keyword(s):

Smt Solvers ◽

Download Full-text

Classical Bit Vector Data Flow Analysis

Data Flow Analysis ◽

10.1201/9780849332517-3 ◽

2017 ◽

pp. 23-58

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Vector Data ◽

Data Flow Analysis ◽

Download Full-text

AES S-box construction using different irreducible polynomial and constant 8-bit vector

2017 IEEE Conference on Dependable and Secure Computing ◽

10.1109/desec.2017.8073857 ◽

2017 ◽

Author(s):

Alamsyah ◽

Agus Bejo ◽

Teguh Bharata Adji

Keyword(s):

Irreducible Polynomial ◽

Download Full-text

Hybrid Temporal Mining for Finding Out Frequent Itemsets in Temporal Databases Using Clustering and Bit Vector Methods

Information Intelligence, Systems, Technology and Management - Communications in Computer and Information Science ◽

10.1007/978-3-642-19423-8_26 ◽

2011 ◽

pp. 245-255

Author(s):

M. Krishnamurthy ◽

A. Kannan ◽

R. Baskaran ◽

G. Bhuvaneswari

Keyword(s):

Frequent Itemsets ◽

Temporal Databases ◽

Temporal Mining ◽

Download Full-text

A fast bit-vector algorithm for approximate string matching based on dynamic programming

Combinatorial Pattern Matching - Lecture Notes in Computer Science ◽

10.1007/bfb0030777 ◽

1998 ◽

pp. 1-13 ◽

Author(s):

Gene Myers

Keyword(s):

Dynamic Programming ◽

String Matching ◽

Approximate String Matching ◽

Download Full-text

Solving MaxSAT with Bit-Vector Optimization

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_4 ◽

2018 ◽

pp. 54-72 ◽

Author(s):

Alexander Nadel

Keyword(s):

Vector Optimization ◽

Download Full-text

Fast Three-Valued Abstract Bit-Vector Arithmetic

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_12 ◽

2022 ◽

pp. 242-262 ◽

Author(s):

Jan Onderka ◽

Stefan Ratschan

Keyword(s):

Download Full-text