Author of the publication

Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware.

, and . ACM Trans. Reconfigurable Technol. Syst., 9 (1): 1:1-1:13 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bridging the Gap between Compilation and Synthesis in the DEFACTO System., , , , and . LCPC, volume 2624 of Lecture Notes in Computer Science, page 52-70. Springer, (2001)Fully Pipelined Hardware Implementation of 128-Bit SEED Block Cipher Algorithm., , , and . ARC, volume 5453 of Lecture Notes in Computer Science, page 181-192. Springer, (2009)Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines., and . FCCM, page 91-100. IEEE Computer Society, (2000)Extending the Applicability of Scalar Replacement to Multiple Induction Variables., , and . LCPC, volume 3602 of Lecture Notes in Computer Science, page 455-469. Springer, (2004)Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations., , and . IEEE Trans. Computers, 53 (11): 1420-1435 (2004)Data Reorganization and Prefetching of Pointer-Based Data Structures., and . IEEE Des. Test Comput., 28 (4): 38-47 (2011)Approach for Selecting and Integrating Cloud Services to Construct Hybrid Cloud., , , and . J. Grid Comput., 18 (3): 441-469 (2020)A Modeling Approach for Business Processes Based on Variability., and . SERA, page 211-218. IEEE Computer Society, (2011)CASS: A Context-Aware Simulation System for Smart Home., , , and . SERA, page 461-467. IEEE Computer Society, (2007)Matching and searching analysis for parallel hardware implementation on FPGAs., , and . FPGA, page 125-133. ACM, (2001)