Browsing E195 - Zentrum für Koordination & Kommunikation der Fakultät für Informatik

Showing results 1 to 16 of 16
PreviewAuthors / EditorsTitleTypeIssue Date
Schwarz Manfred - 2018 - Agreement algorithms in directed dynamic networks.pdf.jpgSchwarz, Manfred Agreement algorithms in directed dynamic networksThesis Hochschulschrift 2018
Schaumberger Nico - 2020 - Automatic competitive analysis of real-time...pdf.jpgSchaumberger, Nico Automatic competitive analysis of real-time scheduling algorithms for firm-deadline tasks with non-preemptible sections and precedence constraintsThesis Hochschulschrift 2020
Maier-2021-A Composable Glitch-Aware Delay Model-vor.pdf.jpgMaier, Jürgen  ; Öhlinger, Daniel  ; Schmid, Ulrich  ; Függer, Matthias ; Nowak, Thomas A Composable Glitch-Aware Delay ModelInproceedings Konferenzbeitrag 22-Jun-2021
Winkler Kyrill - 2013 - Easy impossibility proofs for k-set agreement.pdf.jpgWinkler, Kyrill Easy impossibility proofs for k-set agreementThesis Hochschulschrift 2013
Schloegl Thomas - 2020 - An Extension framework for epistemic reasoning in...pdf.jpgSchlögl, Thomas An Extension framework for epistemic reasoning in Byzantine distributed systemsThesis Hochschulschrift 2020
Fuegger Matthias - 2018 - A Faithful Binary Circuit Model with Adversarial Noise.pdf.jpgFügger, Matthias ; Maier, Jürgen  ; Najvirt, Robert ; Nowak, Thomas ; Schmid, Ulrich  A Faithful Binary Circuit Model with Adversarial NoiseInproceedings Konferenzbeitrag 2018
Perner Martin - 2019 - Fault-tolerant clock distribution in grid-like networks.pdf.jpgPerner, Martin Fault-tolerant clock distribution in grid-like networksThesis Hochschulschrift 2019
OEhlinger Daniel - 2019 - The Involution Tool for Accurate Digital Timing and...pdf.jpgÖhlinger, Daniel  ; Maier, Jürgen  ; Függer, Matthias ; Schmid, Ulrich  The Involution Tool for Accurate Digital Timing and Power AnalysisInproceedings Konferenzbeitrag 2019
OEhlinger Daniel - 2020 - The involution tool for accurate digital timing and...pdf.jpgÖhlinger, Daniel ; Maier, Jürgen  ; Függer, Matthias ; Schmid, Ulrich  The involution tool for accurate digital timing and power analysisArticle Artikel Sep-2020
Pfleger Daniel - 2018 - Knowledge and communication complexity in distributed...pdf.jpgPfleger, Daniel Knowledge and communication complexity in distributed systemsThesis Hochschulschrift 2018
Koessler Alexander - 2014 - Real-time performance analysis of synchronous...pdf.jpgKößler, Alexander Real-time performance analysis of synchronous distributed systemsThesis Hochschulschrift 2014
Perner Martin - 2013 - Self-stabilizing Byzantine fault-tolerant clock...pdf.jpgPerner, Martin Self-stabilizing Byzantine fault-tolerant clock distribution in gridsThesis Hochschulschrift 2013
Schwarz Manfred - 2013 - Solving k-Set agreement in dynamic networks.pdf.jpgSchwarz, Manfred Solving k-Set agreement in dynamic networksThesis Hochschulschrift 2013
Hofstaetter Markus - 2013 - Solving the labeling problem a Byzantine...pdf.jpgHofstätter, Markus Solving the labeling problem : a Byzantine fault-tolerant self-stabilizing FPGA prototype based on the FATAL+ protocolThesis Hochschulschrift 2013
Fimml Patrik - 2017 - Temporal-epistemic logic in Byzantine message-passing...pdf.jpgFimml, Patrik Temporal-epistemic logic in Byzantine message-passing contextsThesis Hochschulschrift 2017
Maier Juergen - 2019 - Transistor-Level Analysis of Dynamic Delay Models.pdf.jpgMaier, Jürgen  ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich  Transistor-Level Analysis of Dynamic Delay ModelsInproceedings Konferenzbeitrag 2019