Publications

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

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

Presentations

T. Frühwirth, L. Krammer, W. Kastner: Dependability Demands and State of the Art in the Internet of Things
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg; in: Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2015; 4 pages
bib details

T. Frühwirth, W. Steiner, B. Stangl: TTEthernet SW-based End System for AUTOSAR
10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany; in: Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015; 8 pages
bib details

I. Konnov, H. Veith, J. Widder: SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; in: Computer Aided Verification, LNCS Springer, 9206 (2015), ISBN: 978-3-319-21689-8, p. 85 - 102
bib details doi

J. Träff (invited): MPI Datatype reconstruction (for vector and index types)
Compilers and Languages Group, Institute of Computer Languages, TU Wien, Vienna, Austria
bib details

D. Schachinger, W. Kastner (invited): Future Energy - Diskussion & Zukunftsbild
IMAGINE15, Vienna, Austria
bib details

D. Schachinger, C. Stampfel, W. Kastner: Interoperable integration of building automation systems using RESTful BACnet Web services
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the Conference of the IEEE Industrial Electronics Society, 2015; 6 pages
bib details

D. Schachinger, W. Kastner: Model-Driven Integration of Building Automation Systems into Web Service Gateways
11th IEEE World Conference on Factory Communication Systems (WFCS 2015), Palma de Mallorca; in: Proceedings of the IEEE World Conference on Factory Communication Systems, 2015; 8 pages
bib details doi

D. Schachinger, S. Gaida, W. Kastner: Smart grid communication at the interface of customer buildings with focus on demand response
International Symposium on Smart Electric Distribution Systems and Technologies (EDST 2015), Vienna, Austria; in: Proceedings of the International Symposium on Smart Electric Distribution Systems and Technologies, 2015; 6 pages
bib details doi

S. Hunold (invited): Reproducibility in Parallel Computing
Session: Performance Reproducibility in HPC - Challenges and State-of-the-Art at the 27th International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2015), Austin, Texas
bib details

M. Zeiner, M Függer, T. Nowak, U. Schmid: Optimal Strategies for Repeated Leader Election
Joint Austrian-Hungarian Mathematical Conference 2015, Györ
bib details

Kieu Giang, P. Ferschin, M. Di Angelo: Medieval Craftsmen at Castle Waldenfels
Digital Heritage 2015, Granada, Spain; in: 2nd International Congress on Digital Heritage, IEEE Computer Society, 2015, ISBN: 978-1-5090-0047-0
bib details pdf

P. Ferschin, M. Di Angelo, G. Brunner: Rapid Prototyping for Kinetic Architecture
7th International Conference on Robotics, Automation and Mechatronics (RAM), Angkor Wat, Cambodia; in: 7th International Conference on Robotics, Automation and Mechatronics (RAM), IEEE Computer Society, 2015, ISBN: 978-1-4673-7336-4, p. 118 - 123
bib details pdf

J. Träff, F. Lübbe: Specification Guideline Violations by MPI_Dims_create
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 2 pages
bib details doi

S. Hunold, A. Carpen-Amarie: On the Impact of Synchronizing Clocks and Processes on Benchmarking MPI Collectives
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

J. Träff, F. Lübbe, A. Rougier, S. Hunold: Isomorphic, Sparse MPI-like Collective Communication Operations for Parallel Stencil Computations
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

M. Kalany, J. Träff: Efficient, Optimal MPI Datatype Reconstruction for Vector and Index Types
22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France; in: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, J. Dongarra, A. Denis, B. Goglin, E. Jeannot, G. Mercier (ed.); ACM, 2015, ISBN: 978-1-4503-3795-3; 10 pages
bib details doi

S. Hunold (invited): Accurately Measuring MPI Collectives with Synchronized Clocks
Dagstuhl Seminar 15281: Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems, Schloss Dagstuhl, Wadern, Germany
bib details

J. Träff (invited): The Power of Structured Data in MPI
The University of Texas at Austin, Prof. Robert A. van de Geijn, Austin, Texas
bib details

I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta: SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems
18th International Conference on Hybrid Systems: Computation and Control (HSCC), Seattle, USA; in: Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, ISBN: 978-1-4503-3433-4, p. 189 - 198
bib details doi

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Kastner, M. Vincze: Coordination of an Autonomous Fleet
Austrian Robotics Workshop (ARW), Klagenfurt; in: Proceedings of the Austrian Robotics Workshop 2015, 2015; 2 pages
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 >   >>