Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction

von Zhang, Jianmin
Veröffentlicht in NCTCS (38. : 2020 : Nanning) Theoretical computer science (2021)

A Variable-Way Address Translation Cache for the Exascale Supercomputer

von Li, Tiejun
Veröffentlicht in ICA3PP (21. : 2021 : Online) Algorithms and Architectures for Parallel Processing ; Part 3 (2022)