The SCEAS System
Navigation Menu

Conferences in DBLP

Ada Conferences (sigada)
2005 (conf/sigada/2005)

  1. Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé
    Scheduling and memory requirements analysis with AADL. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:1-10 [Conf]
  2. Xavier Sautejeau
    Modeling SPARK systems with UML. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:11-16 [Conf]
  3. Ricky E. Sward, Leemon C. Baird III
    Optimizing the SPARK program slicer. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:17-22 [Conf]
  4. Howard Ausden, Karl A. Nyberg
    Using ASIS to generate C++ bindings. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:23-30 [Conf]
  5. Korochkin Alexandr, Salah Imad, Korochkin Dmitry
    Experimental performance analysis of ada programs in cluster system. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:31-36 [Conf]
  6. Anthony S. Ruocco
    Experiences using SPARK in an undergraduate CS course. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:37-40 [Conf]
  7. Javier Miranda, Edmond Schonberg, Hristian Kirtchev
    The implementation of ada 2005 synchronized interfaces in the GNAT compiler. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:41-48 [Conf]
  8. Gustaf Naeser, Kristina Lundqvist, Lars Asplund
    Temporal skeletons for verifying time. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:49-56 [Conf]
  9. James F. Davis
    The affordable application of formal methods to software engineering. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:57-62 [Conf]
  10. Gustaf Naeser, Lars Asplund, Johan Furunäs
    SafetyChip: a time monitoring and policing device. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:63-68 [Conf]
  11. David G. Mathisen, Robert W. Carey
    Orchestrating shots for the national ignition racility. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:69-78 [Conf]
  12. Knut H. Pedersen, Constantinos Constantinides
    AspectAda: aspect oriented programming for ada95. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:79-92 [Conf]
  13. Matt Mark
    Data sharing between ada and C/C++. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:93-102 [Conf]
  14. Andrew Berns
    A comparison of CORBA and ada's distributed systems annex. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:103-108 [Conf]
  15. George Romanski
    Ada in the avionics industry. [Citation Graph (0, 0)][DBLP]
    SIGAda, 2005, pp:109-114 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002