Login / Signup

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdel MokkedemRavi HosabettuMichael D. JonesGanesh Gopalakrishnan
Published in: Formal Methods Syst. Des. (2000)
Keyphrases
  • high speed
  • real time
  • information retrieval
  • data sets
  • data analysis
  • databases
  • real world
  • multi agent
  • image analysis
  • knowledge representation