Name Card

Full name Familienname, Vorname
Burgstaller, Bernd
 

Own Publications Eigene Publikationen

Results 1-20 of 28 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Yang, Shinhyung ; Jeong, Seongho ; Min, Byunguk ; Kim, Yeonsoo ; Burgstaller, Bernd ; Blieberger, Johann Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomicsArtikel Article 2020
2Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory MulticoresPräsentation Presentation2019
3Yang, Shinhyung ; Jeong, Seongho ; Min, Byunguk ; Kim, Yeonsoo ; Burgstaller, Bernd ; Blieberger, Johann Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and PerformancePräsentation Presentation2019
4Blieberger, Johann ; Burgstaller, Bernd Safe Non-blocking Synchronization in Ada2xKonferenzbeitrag Inproceedings 2018
5Jung, Minyoung ; Park, Jinwoo ; Blieberger, Johann ; Burgstaller, Bernd Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory MulticoresKonferenzbeitrag Inproceedings 2017
6Sodsong, Wasuwee ; Mittermayr, Robert ; Park, Yoojin ; Burgstaller, Bernd ; Blieberger, Johann Lazy Parallel Kronecker Algebra-Operations on Heterogeneous MulticoresKonferenzbeitrag Inproceedings 2017
7Jung, Minyoung ; Burgstaller, Bernd ; Blieberger, Johann Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin FingerprintsPreprint Preprint2015
8Blieberger, Johann ; Burgstaller, Bernd Kronecker Algebra for Static Analysis of Ada Programs with Protected ObjectsKonferenzbeitrag Inproceedings 2014
9Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann StreamPI: A stream-parallel programming extension for object-oriented programming languagesArtikel Article2012
10Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann A symbolic analysis framework for static analysis of imperative programming languagesArtikel Article 2012
11Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005Konferenzbeitrag Inproceedings 2010
12Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
13Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert Static Detection of Access Anomalies in Ada95Konferenzbeitrag Inproceedings 2006
14Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Symbolic Analysis of Imperative Programming LanguagesKonferenzbeitrag Inproceedings 2006
15Burgstaller, Bernd ; Scholz, Bernhard ; Ertl, Martin Anton An Embedded Systems Programming Environment for CKonferenzbeitrag Inproceedings 2006
16Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge Informatik-GrundlagenBuch Book2005
17Burgstaller Bernd - 2005 - Symbolic evaluation of imperative programming...pdf.jpgBurgstaller, Bernd Symbolic evaluation of imperative programming languagesThesis Hochschulschrift 2005
18Burgstaller, Bernd ; Scholz, Bernhard ; Blieberger, Johann Tour de Spec - A Collection of Spec95 Program Paths and Associated Costs for Symbolic EvaluationBericht Report2004
19Blieberger, Johann ; Burgstaller, Bernd ; Schildt, Gerhard-Helge Informatik-GrundlagenBuch Book2002
20Burgstaller, Bernd NumerikBuchbeitrag Book Contribution2002