Bob Bentley

According to our database, Bob Bentley authored at least 9 papers between 2001 and 2014.

Collaborative distances:

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

2014

Scientific Workflow Management - For Whom?

Sílvia Delgado Olabarriaga, Gabriele Pierantoni, Giuliano Taffoni, Eva Sciacca, Mohammad Mahdi Jaghoori, Vladimir Korkhov, Giuliano Castelli, Claudio Vuerli, Ugo Becciani, Eoin Carley, Bob Bentley

Proceedings of the 10th IEEE International Conference on e-Science, 2014

2010

Bridging pre-silicon verification and post-silicon validation.

Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor

Proceedings of the 47th Design Automation Conference, 2010

2005

Validating a Modern Microprocessor.

Bob Bentley

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Verification: what works and what doesn't.

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev

Proceedings of the 41th Design Automation Conference, 2004

2003

Management of Metadata for the Virtual Solar Observatory - Experiences from EGSO.

Bob Bentley, Luigi Ciminiera, André Csillaghy, Isabelle Scholl

Proceedings of the MMGPS, 2003

Panel: What's the next 'big thing' in simulation-based verification?

Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

High level validation of next-generation microprocessors.

Bob Bentley

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

alidating the Intel® Pentium® 4 Microprocessor.

Bob Bentley

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Validating the Intel Pentium 4 Microprocessor.

Bob Bentley

Proceedings of the 38th Design Automation Conference, 2001