Reliable Software Technologies - Ada-Europe

View Statistics Email Alert RSS Feed

Description

Event name
Reliable Software Technologies - Ada-Europe
 
Event type
Event for scientific audience
 
Start date
10-06-1996
End date
14-06-1996
 
Location
Montreux, Switzerland
Montreux, Switzerland
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hong, Jingun ; Hong, Kirak ; Burgstaller, Bernd ; Blieberger, Johann AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005Konferenzbeitrag Inproceedings 2010
2Blieberger, Johann ; Lieger, Roland ; Burgstaller, Bernd Augmenting Ada95 with additional real-time featuresKonferenzbeitrag Inproceedings1996
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
4Fechete, Raul ; Kienesberger, Georg ; Blieberger, Johann A Framework for CFG-Based Static Program Analysis of Ada ProgramsKonferenzbeitrag Inproceedings 2008
5Blieberger, Johann ; Burgstaller, Bernd Kronecker Algebra for Static Analysis of Ada Programs with Protected ObjectsKonferenzbeitrag Inproceedings 2014
6Mittermayr, Robert ; Blieberger, Johann Kronecker Algebra for Static Analysis of Barriers in AdaKonferenzbeitrag Inproceedings 2016
7Blieberger, Johann ; Burgstaller, Bernd Safe Non-blocking Synchronization in Ada2xKonferenzbeitrag Inproceedings 2018
8Burgstaller, Bernd ; Blieberger, Johann ; Mittermayr, Robert Static Detection of Access Anomalies in Ada95Konferenzbeitrag Inproceedings 2006
9Blieberger, Johann ; Burgstaller, Bernd ; Mittermayr, Robert Static Detection of Livelocks in Ada Multitasking ProgramsKonferenzbeitrag Inproceedings2007
10Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000
11Blieberger, Johann ; Burgstaller, Bernd Symbolic reaching definitions analysis of Ada programsKonferenzbeitrag Inproceedings1998

 
OSZAR »