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, Nils, et al. “Memory Carousel: LLVM-Based Bitwise Wear Leveling for Nonvolatile Main Memory.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 42, no. 8, Institute of Electrical and Electronics Engineers (IEEE), 2022, pp. 2527–39, doi:10.1109/tcad.2022.3228897.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 66201
Shi, Junjie, et al. “Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 11, Institute of Electrical and Electronics Engineers (IEEE), 2022, pp. 4157–68, doi:10.1109/tcad.2022.3197501.
LibreCat
| DOI