Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/irtaw/2000,
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/374370},
  doi          = {10.1145/374370},
  isbn         = {978-1-4503-7327-2},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/000100,
  author       = {Alan Burns},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Non-preemptive dispatching and locking policies},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {46--47},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374380},
  doi          = {10.1145/374370.374380},
  timestamp    = {Mon, 04 Apr 2022 11:10:22 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/0001P00,
  author       = {Alejandro Alonso and
                  Juan Antonio de la Puente},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Implementation of mode changes with the Ravenscar profile},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {27--32},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374377},
  doi          = {10.1145/374370.374377},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001P00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/0001WKKRY00,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Albert Koelmans and
                  Maciej Koutny and
                  Alexander B. Romanovsky and
                  Alexandre Yakovlev},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {On developing and verifying design abstractions for reliable concurrent
                  programming in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {48--55},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374381},
  doi          = {10.1145/374370.374381},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001WKKRY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Asplund00,
  author       = {Lars Asplund},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Session: new scheduling/dispatching policies},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {11--13},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374373},
  doi          = {10.1145/374370.374373},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Asplund00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/AudsleyW00,
  author       = {Neil C. Audsley and
                  Andy J. Wellings},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Issues with using Ravenscar and the Ada distributed systems annex
                  for high-integrity systems},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {33--39},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374378},
  doi          = {10.1145/374370.374378},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/AudsleyW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Dobbing00,
  author       = {Brian Dobbing},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Overview of the Sun Java Community Process's Real-Time Expert Group
                  specification of RT-Java: Session Summary},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {18--19},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.569070},
  doi          = {10.1145/374370.569070},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Dobbing00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Dobbing00a,
  author       = {Brian Dobbing},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {The Ravenscar profile for high-integrity Java programs?},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {56--61},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374382},
  doi          = {10.1145/374370.374382},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Dobbing00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/DobbingV00,
  author       = {Brian Dobbing and
                  Tullio Vardanega},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Report of session: analysis of the {J} consortium real-time Java proposal},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {17--18},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374375},
  doi          = {10.1145/374370.374375},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/GarciaH00,
  author       = {Jos{\'{e}} Javier Guiti{\'{e}}rrez Garc{\'{\i}}a and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Towards a real-time distributed systems annex in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {62--66},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374383},
  doi          = {10.1145/374370.374383},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GarciaH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/HarbourP00,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Session summary: distribution and real-time},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {14--16},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374374},
  doi          = {10.1145/374370.374374},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/KienzleR00,
  author       = {J{\"{o}}rg Kienzle and
                  Alexander B. Romanovsky},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Combining tasking and transactions, part {II:} open multithreaded
                  transactions},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374384},
  doi          = {10.1145/374370.374384},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irtaw/KienzleR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Michell00,
  author       = {Stephen Michell},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Position paper: completing the Ravenscar profile},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {75--78},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374385},
  doi          = {10.1145/374370.374385},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Michell00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/MichellT00,
  author       = {Stephen Michell and
                  Joyce L. Tokar},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Tasking and object orientation},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374372},
  doi          = {10.1145/374370.374372},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/PinhoVF00,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Francisco Vasques and
                  Luis Lino Ferreira},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Programming atomic multicast in {CAN}},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {79--84},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374386},
  doi          = {10.1145/374370.374386},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PinhoVF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/PuenteZRFG00,
  author       = {Juan Antonio de la Puente and
                  Juan Zamorano and
                  Jos{\'{e}} F. Ruiz and
                  Ram{\'{o}}n Fern{\'{a}}ndez and
                  Rodrigo Garc{\'{\i}}a},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {The design and implementation of the open Ravenscar kernel},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {85--90},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374387},
  doi          = {10.1145/374370.374387},
  timestamp    = {Thu, 21 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteZRFG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/RealLC00,
  author       = {Jorge Real and
                  Albert Llamos{\'{\i}} and
                  Alfons Crespo},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A semantics for dynamic ceiling priorities in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {91--95},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374388},
  doi          = {10.1145/374370.374388},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealLC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/RivasH00,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Extending Ada's real-time systems annex with the {POSIX} scheduling
                  services},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374376},
  doi          = {10.1145/374370.374376},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/VardanegaC00,
  author       = {Tullio Vardanega and
                  Gert Caspersen},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Using the Ravenscar profile for space applications: the {OBOSS} case},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {96--104},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374389},
  doi          = {10.1145/374370.374389},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VardanegaC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/Wellings00,
  author       = {Andy J. Wellings},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Status and future of the Ravenscar profile session summary},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {5--8},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374371},
  doi          = {10.1145/374370.374371},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/irtaw/WellingsJSK0M00,
  author       = {Andy J. Wellings and
                  Bob Johnson and
                  Bo Ingvar Sand{\'{e}}n and
                  J{\"{o}}rg Kienzle and
                  Thomas Wolf and
                  Stephen Michell},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Extensible protected types: proposal status},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {105--110},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374390},
  doi          = {10.1145/374370.374390},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsJSK0M00.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.