Publications

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

Currently viewing all publications chronologically - back to overwiew...

M. Di Angelo, G. Salzer: Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time
Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19), ACM Press, 2019, ISBN: 978-1-4503-6785-1, p. 1 - 10
bib details doi pdf

M. Di Angelo, G. Salzer: Collateral Use of Deployment Code for Smart Contracts in Ethereum
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), IEEE, 2019, ISBN: 978-1-7281-1542-9; 5 pages
bib details doi pdf

S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger: Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and Performance
Reliable Software Technologies - Ada-Europe, Warsaw
bib details

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

S. Hunold, A. Carpen-Amarie: On the Importance of Data Quality when Tuning MPI Libraries
Austrian HPC Meeting 2019 - AHPC19, Grundlsee, Austria; in: Austrian HPC Meeting 2019 - AHPC19 (AHPC19 booklet of abstracts), G. Haase (ed.); Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 15
bib details

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Scalable Algorithms for MPI Intergroup Allgather and Allgatherv
Parallel Computing, Volume 85 (2019), p. 220 - 230
bib details doi

J. Träff (invited): On Optimal Trees for Irregular Gather and Scatter Collectives
Kolloquium Mathematische Informatik, Goethe-Universität Frankfurt am Main, Frankfurt am Main, Germany
bib details

M. Kainer, J. Träff: More Parallelism in Dijkstra's Single-Source Shortest Path Algorithm
CoRR - Computing Research Repository, arXiv:1903.12085, 2019; 29 pages
bib details

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
The 12th Annual Meeting of the Asian Association for Algorithms and Computation, Seoul, South Korea
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

M. Di Angelo, C. Sack, G. Salzer: SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Springer, 2019; 15 pages
bib details pdf

M. Di Angelo, A. Soare, G. Salzer: Smart Contracts in View of the Civil Code
SAC '19: Symposium on Applied Computing Proceedings, ACM Press, 2019, ISBN: 978-1-4503-5933-7
bib details doi pdf

M. Di Angelo, G. Salzer: A Survey of Tools for Analyzing Ethereum Smart Contracts
2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), IEEE, 2019, ISBN: 978-1-7281-1264-0; 10 pages
bib details doi pdf

A. Ismail, H. Truong, W. Kastner: Manufacturing Process Data Analysis Pipelines: A Requirements Analysis and Survey
Journal of Big Data, 6 (2019), p. 1 - 26
bib details doi

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

M. Kainer: More Parallelism in Single-Source Shortest Path Algorithms: Simulation and Implementation (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2019-01-24
bib details

S. Hunold, A. Carpen-Amarie: Algorithm Selection of MPI Collectives using Machine Learning Techniques
9th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018) in conjunction with SC 2018, Dallas, Texas, USA; in: Proceedings of the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2018), IEEE, 2018, ISBN: 978-1-7281-0182-8, p. 45 - 50
bib details doi

J. Ren, M. Lindorfer, D. Dubois, A. Rao, D. Choffnes, N. Vallina-Rodriguez: Bug Fixes, Improvements, ... and Privacy Leaks - A Longitudinal Study of PII Leaks Across Android App Versions
Network and Distributed System Security Symposium (NDSS), Internet Society, 2018
bib details doi pdf

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>