A pipelined multi-core machine with operating system support : hardware implementation and correctness proof - Lutsyk, Petro (Cham, Switzerland : Springer, 2020)
Keywords: PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES); DESARROLLO DE PROGRAMAS PARA COMPUTADORA -- PRUEBAS; LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS)