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

Abdelillah Mokkedem Ravi Hosabettu Ganesh Gopalakrishnan

Published in: FMCAD (1998)

Keyphrases

high speed
genetic algorithm
database
optimal solution
integer programming
artificial intelligence
website
objective function
expert systems
data management
mathematical model
closed form
optimization method
solution space
transaction processing