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, Christian Hakert, Hassan Nassar, Kuan-Hsun Chen, Lars Bauer, Jian-Jia Chen, and Jörg Henkel. “Memory Carousel: LLVM-Based Bitwise Wear Leveling for Nonvolatile Main Memory.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42, no. 8 (2022): 2527–39. https://doi.org/10.1109/tcad.2022.3228897.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 66201
Shi, Junjie, Christoph-Cordt von Egidy, Kuan-Hsun Chen, and Jian-Jia Chen. “Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, no. 11 (2022): 4157–68. https://doi.org/10.1109/tcad.2022.3197501.
LibreCat
| DOI