On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor.

Dominic P. Mulligan Claudio Sacerdoti Coen

Published in: CPP (2012)

Keyphrases

high speed
computer architecture
special purpose hardware
design methodology
multiple classifier systems
physical design
instruction set
genetic algorithm
feature selection
face recognition
multiscale
evolutionary algorithm
floating point
functional verification