Login / Signup

Optimization Techniques for Verification of Out-of-Order Execution Machines.

Sudarshan K. Srinivasan
Published in: J. Electr. Comput. Eng. (2010)
Keyphrases
  • data sets
  • three dimensional
  • data structure
  • video sequences
  • hidden markov models
  • distributed systems