Formal modelling and transformations of processor instruction sets.

Andrey Mokhov Danil Sokolov Maxim Rykunov Alex Yakovlev

Published in: MEMOCODE (2011)

Keyphrases

instruction set
parallel processing
level parallelism
high speed
computer architecture
multimedia
learning environment
instructional design
formal specification
computer software
formal language
single processor