( en | de | ru )

 

Disambiguation of "Shojaei, Hamid"

Author of the publication

copydeleteadd this publication to your clipboard
TED+: a data structure for microprocessor verification.

, , , , and . ASP-DAC, page 567-572. ACM Press, (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.

Reza Shojaei

Heydar Shojaei

Zahra Hamidi

Ahmad Hamidov

Norhazlina Hamid

 

Other publications of authors with the same name

Signal Coverage Computation in Formal Verification., and . VLSI-SoC, page 92-97. IEEE, (2006)Confidentiality preserving integer programming for global routing., , and . DAC, page 709-716. ACM, (2012)Techniques for Formal Verification of Digital Systems: A System Approach., and . DSD, page 444-449. IEEE Computer Society, (2004)Planning for local net congestion in global routing., , and . ISPD, page 85-92. ACM, (2013)Trace signal selection to enhance timing and logic visibility in post-silicon validation., and . ICCAD, page 168-172. IEEE, (2010)A pareto-algebraic framework for signal power optimization in global routing., , , and . ISLPED, page 407-412. ACM, (2010)SPaC: a symbolic pareto calculator., , , and . CODES+ISSS, page 179-184. ACM, (2008)"Constructing Machine Learning models for Orthodontic Treatment Planning: a comparison of different methods"., and . IEEE Big Data, page 2790-2799. IEEE, (2022)A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management., , , , , and . DAC, page 917-922. ACM, (2009)TED+: a data structure for microprocessor verification., , , , and . ASP-DAC, page 567-572. ACM Press, (2005)