( en | de | ru )

 

Disambiguation of "Iyer, Subramanian K."

Author of the publication

copydeleteadd this publication to your clipboard
Multi-threaded reachability.

, , , , and . DAC, page 467-470. ACM, (2005)

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.

Balasubramaniam Iyer

Preeti Ramesh Iyer

Balasubramaniam Iyer

Chandrasekhar Iyer

Pallavi Subramanian

 

Other publications of authors with the same name

Error Detection Using BMC in a Parallel Environment., , , , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 354-358. Springer, (2005)Predictive Reachability Using a Sample-Based Approach., , , , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 388-392. Springer, (2005)Under-approximation Heuristics for Grid-based Bounded Model Checking., , , and . PDMC@ICALP, volume 135 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2005)A New Reachability Algorithm for Symmetric Multi-processor Architecture., , , and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 26-38. Springer, (2005)The MacBeth Specification, Modeling and Programming Language., and . IEEE Real Time Technology and Applications Symposium, page 181-190. IEEE Computer Society, (2001)Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes., , , and . Asian Test Symposium, page 460. IEEE Computer Society, (2005)On Partitioning and Symbolic Model Checking., , , and . FM, volume 3582 of Lecture Notes in Computer Science, page 497-511. Springer, (2005)Multi-threaded reachability., , , , and . DAC, page 467-470. ACM, (2005)On partitioning and symbolic model checking., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 780-788 (2006)