Results 281 to 290 of about 30,579 (293)

Is code equivalence easy to decide?

IEEE Transactions on Information Theory, 1997
R M Roth
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  

Integration of equivalence theory and ultra-fine-group slowing-down calculation for resonance self-shielding treatment in lattice physics code GALAXY

Journal of Nuclear Science and Technology, 2016
Hiroki Koike, Kazuya Yamaji, Shinya Kosaka   +2 more
exaly  

On equivalence of two tests for codes

2008
Summary: Our goal is to show the equivalence between two algorithms concerning uniquely decipherable codes. We show an automaton that solves this problem, and we define remainders for the states of automaton. Finally we show that remainders compose the sets of the algorithm of Sardinas-Patterson.
openaire   +1 more source

Secure Network-Index Code Equivalence: Extension to Non-zero Error and Leakage

2018
, Jörg Kliewer, Badri N Vellambi
exaly  

The Code Equivalence Problem and Its Applications to Cryptography

La Matematica
Jean-François Biasse, Giacomo Micheli, Micheli Giacomo   +2 more
exaly  

Compositional equivalence checking for models and code of control systems

2013
Rupak Majumdar
exaly  

A Code-Based Input Partitioning Method for Equivalence Class Testing

2010
Lwin Khin Shar, Hee Beng Kuan Tan
exaly  

An Improved Algorithm for Code Equivalence

openaire   +2 more sources

Hardness estimates of the code equivalence problem in the rank metric

Designs, Codes, and Cryptography
Simona Samardjiska, Samardjiska Simona
exaly