Your search returned 3 results.

Results
	1.	A Pipelined Multi-Core Machine with Operating System Support [electronic resource] : Hardware Implementation and Correctness Proof / by Lutsyk, Petro [author.] Oberhauser, Jonas [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9999 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / by Borrione, Dominique [editor.] Paul, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3725 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Kovalev, Mikhail [author.] Müller, Silvia M [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9000 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in