Author of the publication

Evaluating High-Level Program Invariants Using Reconfigurable Hardware.

, and . ARC, volume 8405 of Lecture Notes in Computer Science, page 121-132. Springer, (2014)

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

Data Reorganization and Prefetching of Pointer-Based Data Structures., and . IEEE Des. Test Comput., 28 (4): 38-47 (2011)Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations., , and . IEEE Trans. Computers, 53 (11): 1420-1435 (2004)Approach for Selecting and Integrating Cloud Services to Construct Hybrid Cloud., , , and . J. Grid Comput., 18 (3): 441-469 (2020)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)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)Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines., and . FCCM, page 91-100. IEEE Computer Society, (2000)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)Delay Analysis of Car-to-Car Reliable Data Delivery Strategies Based on Data Mulling with Network Coding., , , , , , and . IEICE Trans. Inf. Syst., 91-D (10): 2524-2527 (2008)Performance and Area Modeling of Cmplete FPGA Designs in the Presence of Loop Transformations., , and . FPL, volume 2778 of Lecture Notes in Computer Science, page 313-323. Springer, (2003)Data Reuse in Configurable Architectures with RAM Blocks: Extended Abstract., , and . FPL, volume 3203 of Lecture Notes in Computer Science, page 1113-1115. Springer, (2004)