Treffer 1 - 5 von 5 für Suche 'Gotmanov, Alexander', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    Verifying deadlock-freedom of communication fabrics

    Verifying deadlock-freedom of communication fabrics von Gotmanov, Alexander, Chatterjee, Satrajit, Kishinevsky, Michael

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Microarchitectural Transformations Using Elasticity

    Microarchitectural Transformations Using Elasticity von Galceran-Oms, Marc, Gotmanov, Alexander, Cortadella, Jordi, Kishinevsky, Mike


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying Deadlock-Freedom of Communication Fabrics

    Verifying Deadlock-Freedom of Communication Fabrics von Gotmanov, Alexander, Chatterjee, Satrajit, Kishinevsky, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Challenges in Verifying Communication Fabrics

    Challenges in Verifying Communication Fabrics von Kishinevsky, Michael, Gotmanov, Alexander, Viktorov, Yuriy


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Compositional performance verification of NoC designs

    Compositional performance verification of NoC designs von Holcomb, D. E., Gotmanov, A., Kishinevsky, M., Seshia, S. A.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: