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., Chen, K.-H., Bauer, L., Chen, J.-J., & Henkel, J. (2022). Memory Carousel: LLVM-Based Bitwise Wear Leveling for Nonvolatile Main Memory. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(8), 2527–2539. https://doi.org/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. (2022). Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11), 4157–4168. https://doi.org/10.1109/tcad.2022.3197501
LibreCat
| DOI