Publications

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

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

F. Versaci, K. Pingali: Processor Allocation for Optimistic Parallelization of Irregular Programs
12th International Conference on Computational Science and Its Applications, ICCSA 2012, Salvador de Bahia, Brazil; in: Computational Science and Its Applications, ICCSA 2012, Proceedings of the 12th International Conference, Part I, B. Murgante, O. Gervasi, S. Misra, N. Nedjah, A. Rocha, D. Taniar, B. Apduhan (ed.); Springer, LNCS 7333 (2012), ISBN: 978-3-642-31124-6, p. 1 - 14
bib details doi

M. Wimmer (invited): Paralleles Rechnen für wissenschaftliche Anwendungen
International Summer School Lower Austria, Waidhofen/Ybbs, Austria
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Counter Attack against Byzantine Generals
Alpine Verification Meeting, Passau, Bayern, Deutschland
bib details

J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart: Consensus in the presence of mortal Byzantine faulty processes
Distributed Computing, 24 (2012), p. 299 - 321
bib details doi pdf

M. Levonyak (invited): MPI related experience
NEC User Group: NUG XXIV, Potsdam, Germany
bib details

M. Einhorn, F. Conte, C. Kral, J. Fleig: A Method for Online Capacity Estimation of Lithium Ion Battery Cells Using the State of Charge and the Transferred Charge
IEEE Transactions on Industry Applications, 48 (2012), p. 736 - 741
bib details doi

R. Mittermayr, J. Blieberger: Timing Analysis of Concurrent Programs
12th International Workshop on Worst-Case Execution Time Analysis, Pisa, Italy; in: Proc. 12th International Workshop on Worst-Case Execution Time Analysis, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Vol. 23, Saarbrücken/Wadern (2012), ISBN: 978-3-939897-41-5, p. 59 - 68
bib details doi

M. Brunner: Didaktische Entwürfe für den Kompetenzbereich Industrielle Informationstechnik (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2012; oral examination: 2012-03-22
bib details

M. Di Angelo, P. Ferschin, G. Paskaleva: Shape Grammars for Architectural Heritage
1-ICAUD, Tirana; in: Proceedings: First International Conference on Architecture and Urban Design, A. Hysa (ed.); Epoka University Press, Tirana (2012), ISBN: 9789928-135-01-8, p. 107 - 116
bib details pdf

B. Burgstaller, B. Scholz, J. Blieberger: A symbolic analysis framework for static analysis of imperative programming languages
Journal of Systems and Software, 85 (2012), p. 1418 - 1439
bib details doi

J. Träff (invited): Scalability, Expressivity and Performance Portability of Message-Passing Interface(s)
VSC Workshop Vienna Scientific Cluster, Neusiedl/See, Austria
bib details

J. Träff (invited): Alternative, uniformly expressive and more scalable interfaces for collective communication in MPI
Parallel Computing, Volume 38 (2012), p. 26 - 36
bib details doi

W. Granzer, W. Kastner: Information Modeling in Heterogeneous Building Automation Systems
9th IEEE International Workshop on Factory Communication Systems, Lemgo; in: Proceedings 9th IEEE International Workshop on Factory Communication Systems (WFCS), 2012, p. 291 - 300
bib details

D. Van Der Linden, M. Reekmans, W. Kastner, H. Peremans: Agile role-based decision support for OPC UA profiles
International Conference on Internet and Web Applications and Services, Stuttgart; in: Proceedings International Conference on Internet and Web Applications and Services, 2012, p. 40 - 45
bib details

M. J. Kofler, C. Reinisch, W. Kastner: A semantic representation of energy-related information in future smart homes
Energy and Buildings, 47 (2012), p. 169 - 179
bib details doi

J. Hong, K. Hong, B. Burgstaller, J. Blieberger: StreamPI: A stream-parallel programming extension for object-oriented programming languages
Journal of Supercomputing, 61 (2012), p. 118 - 140
bib details doi

M. Lindorfer: Detecting Environment-Sensitive Malware (Master's Thesis)
reviewers: E. Kirda, P. Milani Comparetti, C. Kolbitsch; Institut für Rechnergestützte Automation, 2011
bib details pdf

E. Bartocci et al.: Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics
Advances in Physiology Education, 35 (2011), p. 427 - 437
bib details doi

E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan, S. Smolka: Model Repair for Probabilistic Systems
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbrücken, Germany; in: Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS / Springer, vol. 6605 (2011), ISBN: 978-3-642-19834-2, p. 326 - 340
bib details doi

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S. Smolka, R. Grosu: Curvature analysis of cardiac excitation wavefronts
CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; in: Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, ACM, 2011, ISBN: 978-1-4503-0817-5, p. 103 - 112
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 143 >   >>