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.
7 Publications
2022 | Book Chapter | LibreCat-ID: 30290
Harteis, Christian. “Research on Workplace Learning in Times of Digitalisation.” Research Approaches on Workplace Learning, Springer International Publishing, 2022, doi:10.1007/978-3-030-89582-2_19.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10577
Witschen, Linus Matthias, et al. “Jump Search: A Fast Technique for the Synthesis of Approximate Circuits.” Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI ’19, ACM, 2019, doi:10.1145/3299874.3317998.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” Proceedings of the Design Automation & Test in Europe Conference, IEEE, 2006, doi:10.1109/DATE.2006.243902.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi:10.1109/DEXA.2005.171.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat
| DOI