Autor der Publikation

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks

, , und . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), Seite 7.1--7.15. Las Vegas, NE, (1995)

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

Integrating system descriptions by clocked guarded actions., , , , und . FDL, Seite 1-8. IEEE, (2011)Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL., und . DATE, Seite 279-284. EDA Consortium, San Jose, CA, USA, (2007)Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation., , und . DATE, Seite 875-881. IEEE Computer Society, (2002)Low-power hardware synthesis from TRS-based specifications., und . MEMOCODE, Seite 49-58. IEEE Computer Society, (2006)Minimizing back pressure for latency insensitive system synthesis., , und . MEMOCODE, Seite 189-198. IEEE Computer Society, (2010)APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study., und . MEMOCODE, Seite 1-10. IEEE, (2013)Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments., und . MEMOCODE, Seite 97-. IEEE Computer Society, (2003)Cross-Chain Atomic Swaps without Time Locks., , und . BCCA, Seite 606-614. IEEE, (2023)Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS., , , , und . Blockchain, Seite 26-35. IEEE, (2020)DOTMUG: A Threat Model for Target Specific APT Attacks-Misusing Google Teachable Machine., , , , und . ISDFS, Seite 1-8. IEEE, (2022)