Results 251 to 260 of about 27,942 (261)

On the commutative equivalence of bounded context-free and regular languages: The code case

Theoretical Computer Science, 2015
Flavio D'Alessandro, Benedetto Intrigila   +1 more
exaly  

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

2018
, Badri Vellambi, Joerg Kliewer
exaly  

SOURCE CODE EQUIVALENCE VERIFICATION DEVICE AND SOURCE CODE EQUIVALENCE VERIFICATION METHOD

2015
SUZUKI YASUFUMI, SHIMBARA DAISUKE, ICHII MAKOTO, NOGUCHI HIDETO   +3 more
openaire   +3 more sources

Compositional equivalence checking for models and code of control systems

2013
Rupak Majumdar
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
Samardjiska Simona
exaly  

A Code-Based Input Partitioning Method for Equivalence Class Testing

2010
Hee Beng Kuan Tan
exaly  

Monomial isomorphism for tensors and applications to code equivalence problems

Designs, Codes, and Cryptography
Giuseppe D'Alconzo
exaly  

THERAPEUTIC EQUIVALENCE CODE

2018
openaire   +1 more source

A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques

2012
Chandan Karfa, Chittaranjan Mandal, Dipankar Sarkar   +2 more
exaly