Publications

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

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

Presentations

I. Kovacic, I. Leobner, C. Reinisch, F. Dür, A. Dimitriou: Projekt INFO - Energy Efficient Production
CEEMUT Cooperation Meeting 2012, Wien
bib details

I. Leobner, C. Reinisch, F. Dür, K. Ponweiser, W. Kastner, F. Bleicher: INFO-Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben
Science Brunch: Integrierte Energiesysteme, Linz
bib details

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

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

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

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

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

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

E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka: Toward real-time simulation of cardiac dynamics
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

R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci: From Cardiac Cells to Genetic Regulatory Network
CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; in: CAV 2011: the 23rd International Conference on Computer Aided Verification, LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743, p. 396 - 411
bib details doi

P. Ferschin, M. Di Angelo: Procedural Modelling of Traditional Balinese Settlements
CHNT 2011 16th International Conference on Cultural Heritage and New Technologies, Wien, Österreich; in: Proc. 16th International Conference on Cultural Heritage and New Technologies, W. Börner et al. (ed.); 2011, p. 304 - 313
bib details pdf

M Függer, J. Widder: On Efficient Checking of Link-reversal-based Concurrent Systems
PUMA/RISE Seminar, Traunkirchen
bib details

W. Gropp, T. Hoefler, R. Thakur, J. Träff: Performance Expectations and Guidelines for MPI Derived Datatypes
EuroMPI 2011, Santorini, Greece
bib details

E. Bajrovic, J. Träff: Using MPI Derived Datatypes in Numerical Libraries
EuroMPI 2011, Santorini, Greece
bib details

M. Biely, P. Robinson, U. Schmid: Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), San Jose; in: PODC'11, ACM, 2011, p. 227 - 228
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 >   >>