Publications

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

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

Presentations

J. Gruber, J. Träff, M. Wimmer: Brief Announcement: Benchmarking Concurrent Priority Queues
28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2016), Asilomar State Beach, California, USA; in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2016), ACM, New York, NY, USA (2016), ISBN: 978-1-4503-4210-0, p. 361 - 362
bib details doi

M. Prischink, C. Kloimüllner, B. Biesinger, G. Raidl: Districting and Routing for Security Control
International Workshop on Hybrid Metaheuristics (HM), Plymouth, United Kingdom; in: Hybrid Metaheuristics - 10th International Workshop on Hybrid Metaheuristics, LNCS, 9668 (2016), ISBN: 978-3-319-39636-1, p. 87 - 103
bib details doi pdf

A. Wendt, G. Zucker, L. Siafara, P. Hausberger, S. Schaat, I. Lindmeier, W. Kastner: Optimization of Energy Efficiency in Buildings with Cognitive Knowledge-Based Control
Smart Grids Week 2016, Linz
bib details pdf

S. Hunold (invited): The Art of MPI Benchmarking
Lunchtime Seminar, Department of Computer Science, University of Innsbruck, Innsbruck, Austria
bib details

R. Mittermayr, J. Blieberger: Kronecker Algebra for Static Analysis of Barriers in Ada
Reliable Software Technologies - Ada-Europe, Pisa, Italy; in: Ada-Europe'2016 International Conference on Reliable Software Technologies, Springer-Verlag, 2016, p. 145 - 159
bib details

S. Hunold (invited): The art of benchmarking MPI libraries
Austrian HPC Meeting 2016 - AHPC16, Grundlsee, Austria
bib details

S. Hunold (invited): Clock Synchronization Algorithms and SimGrid
SimGrid User Days, CNRS center Villa Clythia, Fréjus, France
bib details

J. Träff (invited): Effective MPI Programming: Concepts, Advanced Features, Do's and Don'ts
Vienna Scientific Cluster: VSC School Seminar, TU Wien, Vienna, Austria
bib details

M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel: A holistic viewpoint-based SysML Profile to Design Systems-of-Systems
17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA; in: High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on, 2016, ISSN: 1530-2059, p. 276 - 283
bib details doi

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Holl, W. Kastner, M. Vincze: Balancing Centralized Control with Vehicle Autonomy in AGV Systems
International Academy, Research and Industry Association (IARIA), Italien, Rom; in: Conference on Autonomic and Autonomous Systems (ICAS), Rom (2015), ISBN: 978-1-61208-405-3, p. 37 - 43
bib details

J. Schumann, P. Moosbrugger, K. Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; in: Proc. of RV 2015, the 6th International Conference on Runtime Verification, Springer, 9333 (2015), p. 233 - 249
bib details doi pdf

F. Pauker, T. Frühwirth, R. Hinterbichler, T. Bachmayr (invited): OPC4Factory - Flexibel automatisierte Fertigungszellen
Blickpunkt Forschung: Energie@TU Wien, Wien
bib details

A. Murthy, A. Islam, S. Smolka, R. Grosu: Computing Bisimulation Functions using SOS Optimisation and delta-decidability over the Reals
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: HSCC 2015, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 78 - 87
bib details doi

B. Heinzl (invited): Interdisziplinäre Forschung zur Energieoptimierung in Fertigungsbetrieben
Blickpunkt Forschung: Energie @ TU Wien, Wien
bib details

B. Heinzl, I. Hafner, P. Smolek, I. Leobner, G. Gourlis, M. Obermair, N. Popper, W. Kastner: Towards a Common Description of Interdisciplinary Aspects Relevant for Holistic Energy Analysis of Production Facilities
Workshop der ASIM/GI-Fachgruppen STS/GMMS, Fachhochschule Stralsund, Deutschland; in: Workshop der ASIM/GI-Fachgruppen STS/GMMS, 2015; 2 pages
bib details

M. Spiegel, F. Leimgruber, E. Widl, G. Gridling: On using FMI-based models in IEC 61499 control applications
Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Berlin, Germany; in: Modeling and Simulation of Cyber-Physical Energy Systems, 2015, p. 1 - 6
bib details doi

I. Leobner, P. Smolek, B. Heinzl, I. Kovacic, F. Dür, K. Ponweiser, W. Kastner: Balanced Manufacturing - a Methodology for Energy Efficient Production Plant operation
10th Conference on Sustainable Development of Energy, Water and Environment Systems, Dubrovnik, Croatia; in: Proceedings of the 10th Conference on Sustainable Development of Energy, Water and Environment Systems, 2015; 10 pages
bib details

P. Smolek, I. Leobner, B. Heinzl, G. Gourlis, K. Ponweiser: A Method for Real-Time Aggregation of a Product Footprint during Manufacturing
10th Conference on Sustainable Development of Energy, Water and Environment Systems (SDEWES 2015), Dubrovnik, Kroatien; in: 10th Conference on Sustainable Development of Energy, Water and Environment Systems, 2015
bib details

S Hepp, B. Huber, J. Knoop, D. Prokesch, P. Puschner: The platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

D. Prokesch, P. Puschner: A Strategy for Generating Time-Predictable Code
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, Pörtschach am Wörthersee; in: 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS) 2015, 2015
bib details pdf

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