Select
Explore
keyword: Computer architecture & logic design – 24 free books.
Login to Fave
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
AVAILABLE!
Login to Fave
Login to Fave
A Primer on Memory Consistency and Cache Coherence, Second Edition
Vijay Nagarajan et al.
AVAILABLE!
Login to Fave
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Leando Soares Indrusiak et al. (editors)
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Ruzica Piskac and Michael Whalen, editors
AVAILABLE!
Login to Fave
Login to Fave
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave