Efficient Code Certification for Open Firmware.

Matthew Stillerman Dexter Kozen

Published in: DISCEX (2) (2003)

Keyphrases

computationally efficient
data sets
genetic algorithm
search algorithm
source code
cost effective
highly efficient
real time
software engineering
data management
computationally expensive
power consumption