default search action

combined dblp search
author search
venue search
publication search

ask others

SIGAda 2005: Atlanta, GA, USA

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > SIGAda

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/2005
John W. McCormick, Leemon C. Baird III:
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005. ACM 2005, ISBN 1-59593-185-6
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SinghoffLNM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SinghoffLNM05
Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé:
Scheduling and memory requirements analysis with AADL. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Sautejeau05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Sautejeau05
Xavier Sautejeau:
Modeling SPARK systems with UML. 11-16
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SwardB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SwardB05
Ricky E. Sward, Leemon C. Baird III:
Optimizing the SPARK program slicer. 17-22
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AusdenN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AusdenN05
Howard Ausden, Karl A. Nyberg:
Using ASIS to generate C++ bindings. 23-30
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AlexandrID05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AlexandrID05
Alexandr Korochkin, Salah Imad, Dmitry Korochkin:
Experimental performance analysis of ada programs in cluster system. 31-36
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Ruocco05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Ruocco05
Anthony S. Ruocco:
Experiences using SPARK in an undergraduate CS course. 37-40
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MirandaSK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MirandaSK05
Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev:
The implementation of ada 2005 synchronized interfaces in the GNAT compiler. 41-48
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/NaeserLA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/NaeserLA05
Gustaf Naeser, Kristina Lundqvist, Lars Asplund:
Temporal skeletons for verifying time. 49-56
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Davis05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Davis05
James F. Davis:
The affordable application of formal methods to software engineering. 57-62
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/NaeserAF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/NaeserAF05
Gustaf Naeser, Lars Asplund, Johan Furunäs:
SafetyChip: a time monitoring and policing device. 63-68
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MathisenC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MathisenC05
David G. Mathisen, Robert W. Carey:
Orchestrating shots for the national ignition racility. 69-78
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/PedersenC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/PedersenC05
Knut H. Pedersen, Constantinos Constantinides:
AspectAda: aspect oriented programming for ada95. 79-92
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Mark05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Mark05
Matt Mark:
Data sharing between ada and C/C++. 93-102
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Berns05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Berns05
Andrew Berns:
A comparison of CORBA and ada's distributed systems annex. 103-108
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Romanski05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Romanski05
George Romanski:
Ada in the avionics industry. 109-114

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.