John Pape

According to our database, John Pape authored at least 4 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A full lifecycle performance verification methodology for multicore systems-on-chip.

Jim Holt, Jaideep Dastidar, David Lindberg, John Pape, Peng Yang

ACM Trans. Design Autom. Electr. Syst., 2012

2009

System-level Performance Verification of Multicore Systems-on-Chip.

Jim Holt, Jaideep Dastidar, David Lindberg, John Pape, Peng Yang

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

2007

Global Optimization of Compositional Systems.

Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

The president's page - ComSoc~s professional staff.

Nim Cheung, Jack Howell, John Pape, Ting Qian, K. Sullivan

IEEE Commun. Mag., 2006