Skip to content Skip to footer

Research Portal of the TU Dresden

Simulation Models Verification for Resilient Communication on a Highly Adaptive Energy-Efficient Computer

Research output: Contribution to conferences › Paper › Contributed

Contributors

Stefan Pfennig - , Chair of Privacy and Data Security (Author)
Kim Feldhoff - , Center for Information Services and High Performance Computing (ZIH) (Author)
Florina M. Ciorba - , Center for Information Services and High Performance Computing (ZIH) (Author)
Mario Bielert - , Center for Information Services and High Performance Computing (ZIH) (Author)
Elke Franz - , Chair of Privacy and Data Security (Author)
Thomas Ilsche - , Center for Information Services and High Performance Computing (ZIH) (Author)
Tobias Reiher - , Chair of Privacy and Data Security (Author)
Wolfgang E. Nagel - , Center for Information Services and High Performance Computing (ZIH) (Author)

Details

Original language	English
Publication status	Published - 2016
Peer-reviewed	No

External IDs

ORCID	/0000-0002-5437-3887/work/154740496

Keywords

Keywords

2016, HAEC, HAEC-SIM, Resilient communication, Trace-driven simulation, Verification, network coding