Solutions to IBM POWER8 verification challenges.

Klaus-Dieter Schubert John M. Ludden S. Ayub J. Behrend B. Brock Fady Copty S. M. German Oz Hershkovitz H. Horbach Jonathan R. Jackson K. Keuerleber J. Koesters L. S. Leitner G. B. Meil Charles Meissner Ronny Morad Amir Nahir Viresh Paruthi Richard D. Peterson Randall R. Pratt Michal Rimon John Schumann

Published in: IBM J. Res. Dev. (2015)

Keyphrases

lessons learned
practical solutions
technical challenges
optimal solution
computational issues
neural network
website
database
model checking
open issues
face verification
solution quality
benchmark problems
search methods
linear programming
multi objective
database systems
machine learning
data sets
real time