Publications

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

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

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

A. Carpen-Amarie, S. Hunold, J. Träff: On expected and observed communication performance with MPI derived datatypes
Parallel Computing, Volume 69 (2017), p. 98 - 117
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

F. Desprez, P. Dutot, C. Kaklamanis, L. Marchal, K. Molitorisz, L. Ricci, V. Scarano, M. Vega-Rodriguez, A. Varbanescu, S. Hunold, S. Scott, S. Lankes, J. Weidendorfer: Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104
Springer, Cham, 2017, ISBN: 978-3-319-58942-8; 850 pages
bib details doi

S. Hunold, A. Legrand, L. Nussbaum: Introduction to REPPAR Workshop
Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium (IPDPS 2017) Workshops, IEEE, 2017, ISBN: 978-1-5386-3408-0, p. 1559
bib details doi

R. Bleuse, S. Hunold, S. Kedad-Sidhoum, F. Monna, G. Mounie, D. Trystram: Scheduling Independent Moldable Tasks on Multi-Cores with GPUs
IEEE Transactions on Parallel and Distributed Systems, Volume 28 (2017), p. 2689 - 2702
bib details doi

E. Lusk, J. Träff (invited): MPI Is 25 Years Old!
HPCwire, May 1 (2017)
bib details

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

S. Hunold, A. Carpen-Amarie: Tuning MPI Collectives by Verifying Performance Guidelines
CoRR - Computing Research Repository, arXiv:1707.09965, 2017; 16 pages
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

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