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.
5 Publications
2014 | Conference Paper | LibreCat-ID: 10674
Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4, doi:10.1109/FPL.2014.6927437.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
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
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI