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
Memory Carousel: LLVM-Based Bitwise Wear Leveling for Nonvolatile Main Memory
N. Hölscher, C. Hakert, H. Nassar, K.-H. Chen, L. Bauer, J.-J. Chen, J. Henkel, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42 (2022) 2527–2539.
LibreCat
| DOI
N. Hölscher, C. Hakert, H. Nassar, K.-H. Chen, L. Bauer, J.-J. Chen, J. Henkel, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42 (2022) 2527–2539.
2022 | Journal Article | LibreCat-ID: 66201
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
J. Shi, C.-C. von Egidy, K.-H. Chen, J.-J. Chen, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (2022) 4157–4168.
LibreCat
| DOI
J. Shi, C.-C. von Egidy, K.-H. Chen, J.-J. Chen, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (2022) 4157–4168.