Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2022 | Journal Article | LibreCat-ID: 66181
Hölscher N, Hakert C, Nassar H, et al. Memory Carousel: LLVM-Based Bitwise Wear Leveling for Nonvolatile Main Memory. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022;42(8):2527-2539. doi:10.1109/tcad.2022.3228897
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 66201
Shi J, von Egidy C-C, Chen K-H, Chen J-J. Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 2022;41(11):4157-4168. doi:10.1109/tcad.2022.3197501
LibreCat
| DOI