Search dblp for Publications

export results for "toc:db/conf/sigada/sigada2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sigada/AlexandrID05,
  author       = {Alexandr Korochkin and
                  Salah Imad and
                  Dmitry Korochkin},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Experimental performance analysis of ada programs in cluster system},
  booktitle    = {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},
  pages        = {31--36},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103851},
  doi          = {10.1145/1103846.1103851},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/AlexandrID05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/AusdenN05,
  author       = {Howard Ausden and
                  Karl A. Nyberg},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Using {ASIS} to generate {C++} bindings},
  booktitle    = {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},
  pages        = {23--30},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103850},
  doi          = {10.1145/1103846.1103850},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/AusdenN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Berns05,
  author       = {Andrew Berns},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {A comparison of {CORBA} and ada's distributed systems annex},
  booktitle    = {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},
  pages        = {103--108},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103860},
  doi          = {10.1145/1103846.1103860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Berns05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Davis05,
  author       = {James F. Davis},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {The affordable application of formal methods to software engineering},
  booktitle    = {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},
  pages        = {57--62},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103855},
  doi          = {10.1145/1103846.1103855},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Davis05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Mark05,
  author       = {Matt Mark},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Data sharing between ada and {C/C++}},
  booktitle    = {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},
  pages        = {93--102},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103859},
  doi          = {10.1145/1103846.1103859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Mark05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/MathisenC05,
  author       = {David G. Mathisen and
                  Robert W. Carey},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Orchestrating shots for the national ignition racility},
  booktitle    = {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},
  pages        = {69--78},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103857},
  doi          = {10.1145/1103846.1103857},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/MathisenC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/MirandaSK05,
  author       = {Javier Miranda and
                  Edmond Schonberg and
                  Hristian Hristov Kirtchev},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {The implementation of ada 2005 synchronized interfaces in the {GNAT}
                  compiler},
  booktitle    = {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},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103853},
  doi          = {10.1145/1103846.1103853},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/MirandaSK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/NaeserAF05,
  author       = {Gustaf Naeser and
                  Lars Asplund and
                  Johan Furun{\"{a}}s},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {SafetyChip: a time monitoring and policing device},
  booktitle    = {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},
  pages        = {63--68},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103856},
  doi          = {10.1145/1103846.1103856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/NaeserAF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/NaeserLA05,
  author       = {Gustaf Naeser and
                  Kristina Lundqvist and
                  Lars Asplund},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Temporal skeletons for verifying time},
  booktitle    = {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},
  pages        = {49--56},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103854},
  doi          = {10.1145/1103846.1103854},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/NaeserLA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/PedersenC05,
  author       = {Knut H. Pedersen and
                  Constantinos Constantinides},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {AspectAda: aspect oriented programming for ada95},
  booktitle    = {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},
  pages        = {79--92},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103858},
  doi          = {10.1145/1103846.1103858},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/PedersenC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Romanski05,
  author       = {George Romanski},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Ada in the avionics industry},
  booktitle    = {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},
  pages        = {109--114},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103861},
  doi          = {10.1145/1103846.1103861},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Romanski05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Ruocco05,
  author       = {Anthony S. Ruocco},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Experiences using {SPARK} in an undergraduate {CS} course},
  booktitle    = {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},
  pages        = {37--40},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103852},
  doi          = {10.1145/1103846.1103852},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Ruocco05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Sautejeau05,
  author       = {Xavier Sautejeau},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Modeling {SPARK} systems with {UML}},
  booktitle    = {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},
  pages        = {11--16},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103848},
  doi          = {10.1145/1103846.1103848},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Sautejeau05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/SinghoffLNM05,
  author       = {Frank Singhoff and
                  J{\'{e}}r{\^{o}}me Legrand and
                  Laurent Nana and
                  Lionel Marc{\'{e}}},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Scheduling and memory requirements analysis with {AADL}},
  booktitle    = {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},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103847},
  doi          = {10.1145/1103846.1103847},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/SinghoffLNM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/SwardB05,
  author       = {Ricky E. Sward and
                  Leemon C. Baird III},
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {Optimizing the {SPARK} program slicer},
  booktitle    = {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},
  pages        = {17--22},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846.1103849},
  doi          = {10.1145/1103846.1103849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/SwardB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigada/2005,
  editor       = {John W. McCormick and
                  Leemon C. Baird III},
  title        = {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},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1103846},
  doi          = {10.1145/1103846},
  isbn         = {1-59593-185-6},
  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.