![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/irtaw/irtaw2000.bht:"
@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} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.