Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
14 Treffer

Suchmaske

Suchtipp für den Bereich 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".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.
    Yu, Bin ; Tian, Cong ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 34 (2023), Heft 1, S. 76-91
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    The Complexity of Verifying Memory Coherence and Consistency.
    Cantin, Jason F. ; Lipasti, Mikko H. ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 16 (2005-07-01), Heft 7, S. 663-671
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    The Workflow Trace Archive: Open-Access Data From Public and Private Computing Infrastructures.
    Versluis, Laurens ; Matha, Roland ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 31 (2020-09-01), Heft 9, S. 2170-2184
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.
    Cai, Yan ; Jia, Changjiang ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 26 (2015), Heft 1, S. 13-23
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Speculative Authorization.
    Kini, Pranab ; Beznosov, Konstantin (Kosta)
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 24 (2013-04-01), Heft 4, S. 814-824
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Detection and Localization of Multiple Spoofing Attackers in Wireless Networks.
    Yang, Jie ; Chen, Yingying (Jennifer) ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 24 (2013), Heft 1, S. 44-58
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Conditional ({t}, k)-Diagnosis under the PMC Model.
    Chang, Guey-Yun
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 22 (2011-11-01), Heft 11, S. 1797-1797
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Parallel Information-Theory-Based Construction of Genome-Wide Gene Regulatory Networks.
    Zola, Jaroslaw ; Aluru, Maneesha ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 21 (2010-12-01), Heft 12, S. 1721-1721
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Distributed Diagnosis of Dynamic Events in Partitionable Arbitrary Topology Networks.
    Duarte Jr., Elias Procopio ; Weber, Andrea ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 23 (2012-08-01), Heft 8, S. 1415-1415
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Footprint: Detecting Sybil Attacks in Urban Vehicular Networks.
    Chang, Shan ; Qi, Yong ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 23 (2012-06-01), Heft 6, S. 1103-1103
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Comparison-Based System-Level Fault Diagnosis: A Neural Network Approach.
    Mourad, Elhadef ; Nayak, Amiya
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 23 (2012-06-01), Heft 6, S. 1047-1047
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Formal Methodology for Network Protocol Fingerprinting.
    Shu, Guoqiang ; Lee, David
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 22 (2011-11-01), Heft 11, S. 1813-1813
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Conditional-Fault Diagnosability of Multiprocessor Systems with an Efficient Local Diagnosis Algorithm under the PMC Model.
    Lin, Cheng-Kuan ; Kung, Tzu-Liang ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 22 (2011-10-01), Heft 10, S. 1669-1669
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Empirical Evaluation of Wireless Localization when Using Multiple Antennas.
    Kleisouris, Konstantinos ; Chen, Yingying ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 21 (2010-11-01), Heft 11, S. 1595-1595
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?

Weitere Bibliothekskataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -