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

Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop Transformations., , and . IEEE Trans. Computers, 53 (11): 1420-1435 (2004)Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines., and . FCCM, page 91-100. IEEE Computer Society, (2000)Data Reorganization and Prefetching of Pointer-Based Data Structures., and . IEEE Design & Test of Computers, 28 (4): 38-47 (2011)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)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)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)An External Memory Interface for FPGA-Based Computing Engines., and . FCCM, page 267-268. IEEE Computer Society, (2001)Event classification for vehicle navigation system by regional optical flow analysis., , and . Mach. Vis. Appl., 25 (3): 547-559 (2014)Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware., and . TRETS, 9 (1): 1:1-1:13 (2015)Virtual cloud bank: consumer-centric service recommendation process and architectural perspective for cloud service brokers., , , and . Computing, 98 (11): 1153-1184 (2016)