Results 221 to 230 of about 254,078 (233)

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  

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

2018
Lawrence Ong, Jörg Kliewer, Badri N Vellambi   +2 more
exaly  

The Code Equivalence Problem and Its Applications to Cryptography

La Matematica
Jean-François Biasse, Giacomo Micheli
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  

Hardness estimates of the code equivalence problem in the rank metric

Designs, Codes, and Cryptography
Simona Samardjiska
exaly  

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

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

Monomial isomorphism for tensors and applications to code equivalence problems

Designs, Codes, and Cryptography
Giuseppe D'Alconzo
exaly  

Relating code equivalence to other isomorphism problems

Designs, Codes, and Cryptography
exaly