Search dblp for Publications

export results for "toc:db/conf/irtaw/irtaw2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/irtaw/0001V03,
  author       = {Alan Burns and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: generating new AIs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {93--95},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959239},
  doi          = {10.1145/959222.959239},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001V03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/0001W03,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Tullio Vardanega},
  title        = {Task attribute-based scheduling: extending Ada's support for scheduling},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {36--41},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959230},
  doi          = {10.1145/959222.959230},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/0001WV03,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: flexible scheduling in Ada},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {32--35},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959229},
  doi          = {10.1145/959222.959229},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001WV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/AmeyD03,
  author       = {Peter Amey and
                  Brian Dobbing},
  editor       = {Tullio Vardanega},
  title        = {Static analysis of Ravenscar programs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {58--64},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959234},
  doi          = {10.1145/959222.959234},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/AmeyD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/DobbingP03,
  author       = {Brian Dobbing and
                  Juan Antonio de la Puente},
  editor       = {Tullio Vardanega},
  title        = {Session: status and future of the Ravenscar profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {55--57},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959233},
  doi          = {10.1145/959222.959233},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/HarbourR03,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Mario Aldea Rivas},
  editor       = {Tullio Vardanega},
  title        = {Managing multiple execution-time timers from a single task},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {28--31},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959228},
  doi          = {10.1145/959222.959228},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/HarbourV03,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: current real-time AIs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {22--23},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959226},
  doi          = {10.1145/959222.959226},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/HoweM03,
  author       = {Douglas J. Howe and
                  Stephen Michell},
  editor       = {Tullio Vardanega},
  title        = {An approach to formal verication of real time concurrent Ada programs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {87--92},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959238},
  doi          = {10.1145/959222.959238},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HoweM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/MaiaMBCHRP03,
  author       = {Ricardo Maia and
                  Fl{\'{a}}vio Moreira and
                  R. Barbosa and
                  Diamantino Costa and
                  Kjeld Hjortaes and
                  Patricia Rodr{\'{\i}}guez and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Tullio Vardanega},
  title        = {Verifying, validating and monitoring the open Ravenscar real time
                  kernel},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {74--81},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959236},
  doi          = {10.1145/959222.959236},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MaiaMBCHRP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/MirandaSMRC03,
  author       = {Javier Miranda and
                  Edmond Schonberg and
                  Miguel Masmano and
                  Jorge Real and
                  Alfons Crespo},
  editor       = {Tullio Vardanega},
  title        = {Dynamic ceiling priorities in {GNAT} implementation report},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {24--27},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959227},
  doi          = {10.1145/959222.959227},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MirandaSMRC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/PuenteZ03,
  author       = {Juan Antonio de la Puente and
                  Juan Zamorano},
  editor       = {Tullio Vardanega},
  title        = {Execution-time clocks and Ravenscar kernels},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {82--86},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959237},
  doi          = {10.1145/959222.959237},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/RivasH03,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Tullio Vardanega},
  title        = {Application-defined scheduling in Ada},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {42--51},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959231},
  doi          = {10.1145/959222.959231},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Tokar03,
  author       = {Joyce L. Tokar},
  editor       = {Tullio Vardanega},
  title        = {Space {\&} Time Partitioning with {ARINC} 653 and pragma profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {52--54},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959232},
  doi          = {10.1145/959222.959232},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Tokar03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/TokarD03,
  author       = {Joyce L. Tokar and
                  Brian Dobbing},
  editor       = {Tullio Vardanega},
  title        = {Session summary: new core language features},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {11--12},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959223},
  doi          = {10.1145/959222.959223},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/TokarD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Vardanega03,
  author       = {Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Ravenscar design patterns?: reflections on use of the Ravenscar profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {65--73},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959235},
  doi          = {10.1145/959222.959235},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Vardanega03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/VardanegaP03,
  author       = {Tullio Vardanega and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Tullio Vardanega},
  title        = {Session summary: the future of {IRTAW}},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {96},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959240},
  doi          = {10.1145/959222.959240},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VardanegaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Wellings03,
  author       = {Andy J. Wellings},
  editor       = {Tullio Vardanega},
  title        = {Is Java augmented with the {RTSJ} a better real-time systems implementation
                  technology than Ada 95?},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {16--21},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959225},
  doi          = {10.1145/959222.959225},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/WellingsT03,
  author       = {Andy J. Wellings and
                  Joyce L. Tokar},
  editor       = {Tullio Vardanega},
  title        = {Session summary: integration versus orthogonality {(RTSJ} scheduling
                  policies versus Ada's)},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {13--15},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959224},
  doi          = {10.1145/959222.959224},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/irtaw/2003,
  editor       = {Tullio Vardanega},
  title        = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222},
  doi          = {10.1145/959222},
  isbn         = {978-1-4503-7446-0},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.