Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
6 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Schlagwort

Verlag

Publikation

Sprache

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Simulation-based bug trace minimization with BMC-based refinement
    CHANG, Kai-Hui ; BERTACCO, Valeria ; et al.
    In: ICCAD-2005 (International Conference on Computer Aided Design), 2005, S. 1045-1051
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Complementary use of runtime validation and model checking
    ALPHAN BAYAZIT, Ali ; MALIK, Sharad
    In: ICCAD-2005 (International Conference on Computer Aided Design), 2005, S. 1052-1059
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Industrial experience with test generation languages for processor verification
    BEHM, Michael ; LUDDEN, John ; et al.
    In: Design automation conference (proceedings 2004), 2004, S. 36-40
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal verification of an SoC platform protocol converter
    BEN HASSEN, Jounaidi ; TAHAR, Sofiène
    In: 2004 IEEE International Symposium on Circuits and Systems (proceedings), 2004, S. 313-316
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Debugging HW/SW interface for MPSoC : Video encoder system design case study
    YOUSSEF, Mohamed-Wassim ; YOO, Sungjoo ; et al.
    In: Design automation conference (proceedings 2004), 2004, S. 908-913
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Differential value encoding for two-phase 1-of-N delay insensitive handshake protocol in GALS systems
    JUNG, Eun-Gu ; LEE, Jeong-Gun ; et al.
    In: 47th Midwest symposium on circuits and systems (Hiroshima, July 25-28, 2004), 2004
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -