Results 281 to 290 of about 1,456,568 (303)

On Equivalence and Containment Problems for Formal Languages

Journal of the ACM, 1977
Harry B. Hunt III, Daniel J. Rosenkrantz
openaire   +3 more sources

A Formal Theory of Phonological Equivalence

PhD dissertation docs and files.
openaire   +1 more source

Template-Based Semi-Formal Approach to Robust Equivalence Checking

Electronics, 2022
Qinhao Wang, Masahiro Fujita
exaly  

Formal Equivalence Verification

2023
Erik Seligman, M V Achutha Kiran Kumar
exaly  

High-Level Formal Equivalence

2023
Theo Drane, M. V. Achutha Kiran Kumar
openaire   +1 more source

Formal Equivalence Checking for Mobile Malware Detection and Family Classification

IEEE Transactions on Software Engineering, 2022
Antonella Santone, Francesco Mercaldo
exaly  

Formal Equivalence

2015
openaire   +1 more source

Formal Equivalence Verification and Debugging Techniques With Auto-Correction Mechanism for RTL Designs

Microprocessors and Microsystems, 2013
Payman Behnam, Bijan Alizadeh
exaly  

Formal Verification of Code Motion Techniques Using Data-Flow-Driven Equivalence Checking

ACM Transactions on Design Automation of Electronic Systems, 2012
Chandan Karfa, Chittaranjan Mandal, Dipankar Sarkar   +2 more
exaly  

On the Group of Self-Homotopy Equivalence of a Formal F₀ -Space

Bolletino Dell Unione Matematica Italiana, 2023
exaly