Autor der Publikation

Introspection mechanisms for runtime verification in a system-level design environment.

, , , , und . Microelectron. J., 40 (7): 1124-1134 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A test case generation approach for conformance testing of SDL systems., , , und . Comput. Commun., 24 (3-4): 319-333 (2001)A class of fault-tolerant cellular permutation networks., , und . ICCD, Seite 136-139. IEEE, (1988)The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application., , und . DATE, Seite 698-703. IEEE Computer Society, (2005)A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II., , und . Great Lakes Symposium on VLSI, Seite 362-. IEEE Computer Society, (1999)Optimal design of synchronous circuits using software pipelining techniques., , , und . ICCD, Seite 62-67. IEEE Computer Society, (1998)General and Technical Program Chairs' Message., , , und . ICECS, Seite 1. IEEE, (2007)"Designing with SystemC: Multi-Paradigm Modeling and Simulation Performance Evaluation", , und . Proc. Intern. Hardware Description Language (HDL) Conference, Seite 33-45. (2002)Synthesis of interface controllers from timing diagram specifications., , und . CICC, Seite 89-92. IEEE, (1998)A test case generation tool for conformance testing of SDL systems., , , und . SDL Forum, Seite 405-. Elsevier, (1999)Residue to Binary Number Converters for (2n-1, 2n, 2n+1)., , und . Great Lakes Symposium on VLSI, Seite 174-178. IEEE Computer Society, (1998)