Publications

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

Currently viewing all publications in category Presentations - back to overwiew...

Presentations

K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu: Runtime Monitoring with Recovery of the SENT Communication Protocol
CAV 2017: the 29th International Conference on Computer-Aided Verification, Heidelberg, Germany; in: Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, Springer, 10426 (2017), p. 336 - 355
bib details doi

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi: Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, Vienna, Austria; in: Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2017, p. 146 - 155
bib details doi

K. Selyunin, R. Hasani, D. Ratasich, E. Bartocci, R. Grosu: Computing with Biophysical and Hardware-efficient Neural Models
IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Cádiz, Spain; in: Proc.of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Springer, 10305 (2017), p. 535 - 547
bib details doi

A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu: ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden; in: Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 10206 (2017), p. 286 - 302
bib details doi

M. Baldi, E. Bartocci, F. Chiaraluce, A. Cucchiarelli, L. Senigagliesi, L. Spalazzi, F. Spegni: A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Berlin, Germany; in: Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Springer, 10503 (2017), ISBN: 978-3-319-66335-7, p. 123 - 139
bib details doi

M. Ben Sassi, E. Bartocci, S. Sankaranarayanan: A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Toulouse, France; in: IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Elsevier, 50 (1) (2017), p. 10462 - 10469
bib details doi

H. Abbas, A. Rodionova, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection Algorithms
CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Darmstadt, Germany; in: Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Springer, 10545 (2017), p. 23 - 39
bib details doi

J. Träff: Practical, Linear-time, Fully Distributed Algorithms for Irregular Gather and Scatter
24th European MPI Users' Group Meeting (EuroMPI/USA 2017), Chicago, IL, USA; in: Proceedings of the 24th European MPI Users' Group Meeting (EuroMPI/USA 2017), ACM, 2017, ISBN: 978-1-4503-4849-2, p. 1:1 - 1:10
bib details doi

F. Heinrich, T. Cornebize, A. Degomme, A. Legrand, A. Carpen-Amarie, S. Hunold, A. Orgerie, M. Quinson: Predicting the Energy-Consumption of MPI Applications at Scale Using a Single Node
IEEE International Conference on Cluster Computing (CLUSTER 2017), Honolulu, Hawaii, USA; in: Proceedings of the IEEE International Conference on Cluster Computing (CLUSTER 2017), IEEE, 2017, ISBN: 978-1-5386-2326-8, p. 92 - 102
bib details doi

J. Träff (invited): Fast Processing of MPI Derived Datatypes?
Mini Workshop Algorithms Engineering, Uni Wien, Vienna, Austria
bib details

J. Träff (invited): The past 25 years of MPI
Panel at ISC High Performance Conference 2017 - The HPC Event, Intel booth, Frankfurt, Germany
bib details

C. Schulz, J. Träff: Better Process Mapping and Sparse Quadratic Assignment
16th International Symposium on Experimental Algorithms, SEA 2017, London, United Kingdom; in: 16th International Symposium on Experimental Algorithms, SEA 2017, C. Iliopoulos, S. Pissis, S. Puglisi, R. Raman (ed.); Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Vol. 75 (2017), ISBN: 978-3-95977-036-1, p. 4:1 - 4:15
bib details doi

F. Lübbe: Micro-benchmarking MPI Neighborhood Collective Operations
Euro-Par 2017 23rd International European Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain; in: Euro-Par 2017: Parallel Processing, 23rd International Conference on Parallel and Distributed Computing, Proceedings, F. Rivera, T. Pena, J. Cabaleiro (ed.); Springer, LNCS 10417 (2017), ISBN: 978-3-319-64202-4, p. 65 - 78
bib details doi

A. Judmayer, J. Ullrich, G. Merzdovnik, A. Voyiatzis, E. Weippl: Lightweight Address Hopping for Defending the IPv6 IoT
12th International Conference on Availability, Reliability and Security (ARES 2017), Reggio Calabria, Italy; in: Proceedings of ARES 2017 (ACM International Conference Proceedings Series), 2017
bib details

G. Gourlis, P. Smolek, B. Heinzl, I. Leobner, I. Kovacic: From BIM Models to Integrated Energy Efficiency Applications for Industrial Facilities
Joint Conference on Computing in Construction (JC3), Heraklion; in: Lean and Computing in Construction Congress (LC3): Volume I - Proceedings of the Joint Conference on Computing in Construction (JC3), 2017, p. 245 - 253
bib details doi

M. Schoeberl, B. Cilku, D. Prokesch, P. Puschner: Best Practice for Caching of Single-Path Code
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dubrovnik, Croatia; in: Proc. 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Dagstuhl, Germany (2017), ISBN: 978-3-95977-057-6, p. 1 - 12
bib details doi pdf

B. Cilku, W. Puffitsch, D. Prokesch, M. Schoeberl, P. Puschner: Improving Performance of Single-path Code Through a Time-predictable Memory Hierarchy
20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; in: Proc. 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), IEEE, 2017, ISBN: 978-1-5386-1574-4, p. 76 - 83
bib details doi

J. Träff (invited): High Performance Expectations for MPI
Friedrich-Alexander-Universität Erlangen-Nürnberg, Prof. Dr. Gerhard Wellein, Erlangen, Germany
bib details

M. Jung, J. Park, J. Blieberger, B. Burgstaller: Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores
International Conference on Parallel Processing, Bristol; in: Proceedings of the 46th International Conference on Parallel Processing (ICPP-2017), IEEE, 2017, ISSN: 2332-5690, p. 271 - 281
bib details doi

E. Wimmer: Is Gossip-inspired reduction competitive in high performance computing?
International Workshop on Parallel Numerics (PARNUM 2017), Waischenfeld, Germany
bib details

<<   < 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 >   >>