Mike Roberts

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2004
Enterprise Continuous Integration Using Binary Dependencies.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004

2000
A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors.
Proceedings of the 2000 International Conference on Parallel Processing, 2000

1999
Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.
Proceedings of the 36th Conference on Design Automation, 1999


  Loading...