Mikhail Kovalev

1 published title

A pipelined multi-core mips machine : hardware implementation and correctness proof

(Contributor)

1 edition