Publications

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

Currently viewing all publications chronologically - back to overwiew...

D. Ratasich: Generic Low-Level Sensor Fusion Framework for Cyber-Physical Systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

D. Macher: Intercommunication framework for autonomous real-time systems (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-04-29
bib details pdf

S. Brugger: Integrating probabilistic information of dynamic environment into maps for enhanced action planning (Master's Thesis)
reviewers: R. Grosu, O. Höftberger; Institut für Technische Informatik, 2014; oral examination: 2014-03-26
bib details pdf

A. Wasicek, O. Höftberger, M. Elshuber, H. Isakovic, A Fleck: Virtual CAN Lines in an Integrated MPSoC Architecture
17th IEEE International Symposium on Object/Component-Oriented Real-Time Distributed Computing (ISORC), Reno, Nevada, USA; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISSN: 1555-0885, p. 158 - 165
bib details doi

A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder (invited): Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Formal Methods for Executable Software Models, Springer, 2014, ISBN: 978-3-319-07316-3, p. 122 - 171
bib details doi

M. Pöter: Pheet meets C++11
CoRR - Computing Research Repository, arXiv:1411.1951, 2014; 19 pages
bib details

F. Bleicher, F. Dür, I. Leobner, I. Kovacic, B. Heinzl, W. Kastner (invited): Co-simulation environment for optimizing energy efficiency in production systems
64th CIRP General Asembly, Nantes
bib details

J. Träff, M. Wimmer: An improved, easily computable combinatorial lower bound for weighted graph bipartitioning
CoRR - Computing Research Repository, arXiv:1410.0462, 2014; 33 pages
bib details

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions using SysML
Forum on specification & Design Languages (FDL), Munich, Germany; in: Proceedings of the Forum on Specification & Design Languages (FDL 2014), 2014
bib details

S. Kandl, J. Forey: Fault-Detection Sensitivity Based Assessment of Test Sets for Safety-Relevant Software (Best Paper Award)
Seventh International Conference on Dependability (DEPEND 2014), Lisbon, Portugal; in: Proceedings of the Seventh International Conference on Dependability (DEPEND 2014), 2014, ISBN: 978-1-61208-378-0
bib details

S. Hunold, A. Carpen-Amarie, J. Träff (invited): Reproducible MPI Micro-Benchmarking Isn´t As Easy As You Think
Research Group Theory and Applications of Algorithms, University of Vienna, Vienna, Austria
bib details

S. Hunold (invited): One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
AIT Austrian Institute of Technology, Seibersdorf, Austria
bib details

M. Meisel, M. Berger, T. Hofer, F. Judex, M. Jung, G. Kienesberger, M. Pichler, S. Prost, W. Prüggler, K. Röderer: SGMS - Smart Web Grid - Konzeption eines Informationsmodells für webbasierten Zugriff auf Smart Grids Daten
Österreichische Forschungsförderungsgesellschaft mbH (FFG), 2014; 214 pages
bib details pdf

C. Kloimüllner, P. Papazek, B. Hu, G. Raidl: Balancing Bicycle Sharing Systems: An Approach for the Dynamic Case.
Evolutionary Computation in Combinatorial Optimization (EvoCOP), Granada; in: Evolutionary Computation in Combinatorial Optimization, C. Blum, G. Ochoa (ed.); Springer Berlin Heidelberg, 8600 (2014), ISBN: 978-3-662-44319-4, p. 73 - 84
bib details doi pdf

P. Papazek, C. Kloimüllner, B. Hu, G. Raidl: Balancing bicycle sharing systems: An analysis of path relinking and recombination within a GRASP hybrid.
Parallel Problem solving from Nature - PPSN XIII, Ljubljana; in: Parallel Problem Solving from nature - PPSN XIII, T. Bartz - Beielstein, J. Branke, B. Filipic, J. Smith (ed.); Lecture Notes in Computer Science, Springer International Publishing, 8672 (2014), ISBN: 978-3-319-10761-5, p. 792 - 801
bib details doi pdf

J. Träff (invited): The Power of Structured Data in MPI
Compiler Technology and Computer Architecure Group at the University of Hertfordshire, Hertfordshire, United Kingdom
bib details

J. Träff (invited): The Power of Structured Data in MPI
Research Group Theory and Applications of Algorithms and Research Group Scientific Computing, University of Vienna, Vienna, Austria
bib details

D. Prokesch, B. Huber, P. Puschner: Towards Automated Generation of Time-Predictable Code
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014), Madrid; in: 14th International Workshop on Worst-Case Execution Time Analysis, Dagstuhl, Germany (2014), ISBN: 978-3-939897-69-9, p. 103 - 112
bib details doi pdf

S. Hunold (invited): Moldable Task Scheduling: Theory and Practice
Workshop on New Challenges in Scheduling Theory, Aussois, France
bib details

S. Hunold (invited): Reproducibility of Experiments: It´s about the WHO and less the HOW
Panel on reproducible research methodologies and new publication models, 4th International Workshop on Adaptive Self-tuning Computing Systems (ADAPT 2014) co-located with HiPEAC 2014, Vienna, Austria
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 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>