Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Reports, Miscellaneous - back to overwiew...

Reports, Miscellaneous

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
HAL, RR-9123, 2017; 21 pages
bib details pdf

S. Hunold, A. Carpen-Amarie: Tuning MPI Collectives by Verifying Performance Guidelines
CoRR - Computing Research Repository, arXiv:1707.09965, 2017; 16 pages
bib details

J. Maier: Modeling the CMOS Inverter using Hybrid Systems
TUW-259633, 2017
bib details pdf

C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
CoRR - Computing Research Repository, arXiv:1702.04164, 2017; 13 pages
bib details

J. Träff: Practical, Linear-time, Fully Distributed Algorithms for Irregular Gather and Scatter
CoRR - Computing Research Repository, arXiv:1702.05967, 2017; 17 pages
bib details

C. Schulz, J. Träff: VieM v1.00 - Vienna Mapping and Sparse Quadratic Assignment User Guide
CoRR - Computing Research Repository, arXiv:1703.05509, 2017; 9 pages
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
TUW-258404, 2016
bib details pdf

U. Schmid (invited): Reconciling Fault-Tolerance and Robustness ?
Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria
bib details pdf

M. Zeiner, U. Schmid, U. Schilcher, C. Bettstetter: FWF-Proposal SPRG: Structural Properties of Random Graphs
Institut für Technische Informatik, TU Wien, 2016
bib details

A. Carpen-Amarie, S. Hunold, J. Träff: MPI Derived Datatypes: Performance Expectations and Status Quo
CoRR - Computing Research Repository, arXiv:1607.00178, 2016; 46 pages
bib details

J. Träff, A. Carpen-Amarie, S. Hunold, A. Rougier: Message-Combining Algorithms for Isomorphic, Sparse Collective Communication
CoRR - Computing Research Repository, arXiv:1606.07676, 2016; 12 pages
bib details

S. Hunold, A. Carpen-Amarie, F. Lübbe, J. Träff: PGMPI: Automatically Verifying Self-Consistent MPI Performance Guidelines
CoRR - Computing Research Repository, arXiv:1606.00215, 2016; 13 pages
bib details

J. Gruber, J. Träff, M. Wimmer: Benchmarking Concurrent Priority Queues: Performance of k-LSM and Related Data Structures
CoRR - Computing Research Repository, arXiv:1603.05047, 2016; 17 pages
bib details

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

W. Kastner: Was verlangt die Gebäudesicherheit der Zukunft?"
Bosch Sicherheitsforum 2015, Wien
bib details

S. Hunold: A Survey on Reproducibility in Parallel Computing
CoRR - Computing Research Repository, arXiv:1511.04217, 2015; 15 pages
bib details

S. Hunold, A. Carpen-Amarie: MPI Benchmarking Revisited: Experimental Design and Reproducibility
CoRR - Computing Research Repository, arXiv:1505.07734, 2015; 40 pages
bib details

T. Ferhatbegovic, W. Gawlik, R. Haas, M. Hartl, S. Hauer, M. Heimberger, S. Henein, A Hiesl, P. Jasek, R. Klug, B. Kodre, M. Kozek, F. Kupzog, M. Leitner, I. Leobner, K. Ponweiser, S. Schidler, A. Schirrer, J. Stockinger, H. Taus, M. Volcic, G. Zucker: SmartCityGrid: CoOpt Koordinierte Optimierung von erneuerbarer Energie in Netz und Gebäude bei Planung und Betrieb
FFG, 2015; 415 pages
bib details

M. Wimmer, J. Gruber, J. Träff, P. Tsigas: The Lock-free k-LSM Relaxed Priority Queue
CoRR - Computing Research Repository, arXiv:1503.05698, 2015; 18 pages
bib details

R. Ganian, M. Kalany, St. Szeider, J. Träff: Polynomial-time Construction of Optimal Tree-structured Communication Data Layout Descriptions
CoRR - Computing Research Repository, arXiv:1506.09100, 2015; 18 pages
bib details

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 >   >>