Publications

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

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

Presentations

B. Huber, D. Prokesch, P. Puschner: A Formal Framework for Precise Parametric WCET Formulas
12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), Pisa; in: 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Oasics / 23 (2012), ISBN: 978-3-939897-41-5, p. 91 - 102
bib details doi pdf

G. Jacob, P. Milani Comparetti, M. Neugschwandtner, C. Krügel, G. Vigna: A Static, Packer-Agnostic Filter to Detect Similar Malware Sample
Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA), Heraklion, Kreta; in: Proceedings of the 9th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, Springer, 2012
bib details pdf

L. Invernizzi, S. Benvenuti, M. Cova, P. Milani Comparetti, C. Krügel, G. Vigna: EVILSEED: A Guided Approach to Finding Malicious Web Pages
IEEE Symposium on Security and Privacy, San Francisco; in: Proceedings of the 2011 IEEE Symposium on Security and Privacy, 2012, ISBN: 978-0-7695-4681-0, p. 428 - 442
bib details pdf

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Who is afraid of Model Checking Distributed Algorithms?
PUMA/RISE Seminar, Goldegg
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder (invited): Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland
bib details pdf

M. Kofler, C. Reinisch, W. Kastner: An Ontological Weather Representation for Improving Energy-Efficiency in Interconnected Smart Home Systems
IASTED International Conference on Artificial Intelligence and Soft Computing (ASC), Napoli, Italy; in: Applied Simulation and Modelling /777: Artificial Intelligence and Soft Computing, ACTA Press, Napoli, Italy (2012), ISBN: 978-0-88986-935-6, p. 256 - 263
bib details doi

S. Hunold (invited): Reproducibility and Data Provenance with VisTrails
WP8 meeting, ANR SONGS project, INRIA, Paris, France
bib details

M Függer, J. Widder: Efficient Checking of Link-Reversal-Based Concurrent Systems
International Conference on Concurrency Theory (CONCUR), Newcaslte upon Tyne, UK; in: CONCUR 2012 - Concurrency Theory, Lecture Notes in Computer Science. Springer Verlag., 7454 (2012), ISBN: 978-3-642-32939-5, p. 486 - 499
bib details doi

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger: Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain
Nuclear and Space Radiation Effects Conference (NSREC), Miami, FL, USA
bib details

J. Träff (invited): History and development of the MPI standard
AIT Austrian Institute of Technology, Seibersdorf, Austria
bib details

C. Kessler, U. Dastgeer, S. Thibault, R. Namyst, A. Richards, U. Dolinsky, S. Benkner, J. Träff, S. Pllana: Programmability and Performance Portability Aspects of Heterogeneous Multi-/Manycore Systems
Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), Dresden, Germany; in: Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) Proceedings, EDAA, 2012, ISBN: 978-3-9810801-8-6, p. 1403 - 1408
bib details

R. Kammerer, B. Frömel, A. Wasicek: Enhancing Security in CAN Systems using a Star Coupling Router
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe; in: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), IEEE, 2012, ISBN: 978-1-4673-2685-8, p. 237 - 246
bib details doi pdf

C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek (invited): The ACROSS MPSoC - A New Generation of Multi-Core Processors designed for Safety-Critical Embedded Systems
DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey; in: 2012 15th Euromicro Conference on Digital System Design (DSD 2012), Proceedings, IEEE Computer Society, 2012, ISBN: 978-1-4673-2498-4, p. 105 - 113
bib details doi pdf

P. Ferschin, M. Di Angelo, S. Niedermair: Projected Time Travel: Architectural Heritage Projection in situ
International Conference on Cultural Heritage and New Technologies, Wien; in: Proc. 17th International Conference on Cultural Heritage and New Technologies, W. Börner (ed.); Museen der Stadt Wien - Stadtarchäologie, 2012, ISBN: 978-3-200-03281-1; 9 pages
bib details pdf

J. Träff (invited): History and Development of MPI: the Message-Passing Interface
CSE Day KTH Stockholm, Stockholm, Sweden
bib details

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

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