|
Search the dblp DataBase
Mike Roberts:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dennis Abts, Mike Roberts
Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment. [Citation Graph (0, 0)][DBLP] DAC, 1999, pp:163-168 [Conf]
- Dennis Abts, Mike Roberts, David J. Lilja
A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors. [Citation Graph (0, 0)][DBLP] ICPP, 2000, pp:505-0 [Conf]
- Mike Roberts
Enterprise Continuous Integration Using Binary Dependencies. [Citation Graph (0, 0)][DBLP] XP, 2004, pp:194-201 [Conf]
A work-efficient GPU algorithm for level set segmentation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|