Author of the publication

A Study on Open Source Software for Large-Scale Data Visualization on SPARC64fx based HPC Systems.

, , , , , , , , , and . HPC Asia, page 278-288. ACM, (2018)

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

Test pattern generation for multiple stuck-at faults not covered by test patterns for single faults., , , and . ISCAS, page 1-4. IEEE, (2017)Lateral State Prediction for Automated Steering using Reliability-Weighted Measurements from Multiple Sensors., , and . ITSC, page 461-466. IEEE, (2007)Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures., , , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 121-134. Springer, (2007)An Image-Based CAPTCHA Using Sophisticated Mental Rotation., , , , and . HCI (24), volume 8533 of Lecture Notes in Computer Science, page 57-68. Springer, (2014)Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog., , , and . ICLP, volume 225 of Lecture Notes in Computer Science, page 695-709. Springer, (1986)Program Slicing of Hardware Description Languages., , , , , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 298-312. Springer, (1999)Accelerating Tsunami simulation with FPGA and GPU through automatic compilation.. ACWR, page 79. ACM, (2011)Combining Restorability and Error Detection Ability for Effective Trace Signal Selection., , , and . ACM Great Lakes Symposium on VLSI, page 191-196. ACM, (2017)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths.. ACM Trans. Design Autom. Electr. Syst., 10 (4): 610-626 (2005)