Publications

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

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

Presentations

S. Hunold, J. Lepping (invited): Evolutionary Scheduling of Parallel Tasks Graphs onto Homogeneous Clusters
New Challenges in Scheduling Theory, Centre CNRS, Frejus, France
bib details

F. Versaci, G. Bilardi (invited): Stochastic optimization and memory management
Scalable Approaches to High Performance and High Productivity Computing, ScalPerf'12, Bertinoro, Italy
bib details

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra based Travel Time Analysis for Railway Systems
Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig; in: Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Inst. f. Verkehrssicherheit und Automatisierungstechnik, 2012, ISBN: 978-3-9803363-3-8, p. 273 - 281
bib details

C. Siebert, J. Träff: Efficient MPI Implementation of a Parallel, Stable Merge Algorithm
19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria; in: Recent Advances in the Message Passing Interface Proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, J. Träff, S. Benkner, J. Dongarra (ed.); Springer, LNCS 7490 (2012), ISBN: 978-3-642-33517-4, p. 204 - 213
bib details

J. Träff: mpicroscope: Towards an MPI Benchmark Tool for Performance Guideline Verification
19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria; in: Recent Advances in the Message Passing Interface Proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, J. Träff, S. Benkner, J. Dongarra (ed.); Springer, LNCS 7490 (2012), ISBN: 978-3-642-33517-4, p. 100 - 109
bib details

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

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