| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen Michell |
Interfacing Ada to operating systems.  |
IRTAW  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Zerzelidis, Alan Burns 0001, Andy J. Wellings |
Correcting the EDF protocol in Ada 2005. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Brosgol, Mario Aldea Rivas |
Introduction. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega |
Ada 2005 code patterns for metamodel-based code generation. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Stephen Michell |
Introduction. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, Santiago Urueña |
Summary. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns 0001 |
Beyond Ada 2005: allocating tasks to processors in SMP systems. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente (eds.) |
Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007 |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Urueña, José Antonio Pulido, José Redondo, Juan Zamorano |
Implementing the new Ada 2005 real-time features on a bare board kernel. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Urueña, Juan Zamorano |
Building high-integrity distributed systems with Ravenscar restrictions. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, José F. Ruiz |
Introduction. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, Michael González Harbour |
Operating system support for execution time budgets for thread groups. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ward, Neil C. Audsley |
Suggestions for stream based parallel systems in Ada. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour, J. Javier Gutiérrez |
Introduction. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns 0001 |
A framework for real-time utilities for Ada 2005. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Introduction. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns 0001 |
Integrating OOP and tasking: the missing requeue. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Programming execution-time servers in Ada 2005. |
IRTAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
Ravenscar design patterns?: reflections on use of the Ravenscar profile. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour, Mario Aldea Rivas |
Managing multiple execution-time timers from a single task. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings, Tullio Vardanega |
Report of session: flexible scheduling in Ada. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings |
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho |
Verifying, validating and monitoring the open Ravenscar real time kernel. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joyce L. Tokar, Brian Dobbing |
Session summary: new core language features. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joyce L. Tokar |
Space & Time Partitioning with ARINC 653 and pragma profile. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Tullio Vardanega |
Report of session: generating new AIs. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dobbing, Juan Antonio de la Puente |
Session: status and future of the Ravenscar profile. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, Michael González Harbour |
Application-defined scheduling in Ada. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Task attribute-based scheduling: extending Ada's support for scheduling. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega (eds.) |
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003 |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour, Tullio Vardanega |
Report of session: current real-time AIs. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, Juan Zamorano |
Execution-time clocks and Ravenscar kernels. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Amey, Brian Dobbing |
Static analysis of Ravenscar programs. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Luís Miguel Pinho |
Session summary: the future of IRTAW. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo |
Dynamic ceiling priorities in GNAT implementation report. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas J. Howe, Stephen Michell |
An approach to formal verication of real time concurrent Ada programs. |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Joyce L. Tokar |
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's). |
IRTAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, Michael González Harbour |
Application-defined scheduling in Ada. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Accessing delay queues. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell |
Practical implementations of embedded software using the Ravenscar Profile. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce Lewis |
Software portability gains realized with METAH and Ada95. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Brach, P. Eng |
User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ward, Neil C. Audsley |
Language issues of compiling Ada to hardware. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo García García, Alfred Strohmeier |
Experiences report on the implementation of EPTs for GNAT. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina |
Modeling and schedulability analysis in the development of real-time distributed Ada systems. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Ben Brosgol |
Session summary: future of the Ada language and language changes such as the Ravenscar profile. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour, Juan Antonio de la Puente |
Session on real-time, fault tolerance, and distribution. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Francisco Vasques |
Using Ravenscar to support fault-tolerant real-time applications. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joyce L. Tokar, Ben Brosgol |
Session summary: summary and plans for next IRTAW. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | William Currie Colket (eds.) |
Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002 |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, Luís Miguel Pinho |
Session summary: safety improvements for consideration. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Tullio Vardanega |
Report of session: language changes for scheduling, modeling and analysis. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Zamorano, Juan Antonio de la Puente |
Precise response time analysis for Ravenscar kernels. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol, Ricardo J. Hassan II, Scott Robbins |
Asynchronous transfer of control in the real-time specification for java™. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Alfons Crespo, Andy J. Wellings, Alan Burns 0001 |
Protected ceiling changes. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Brosgol, Michael González Harbour |
Session summary: update on the real-time specification for java. |
IRTAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol, Michael González Harbour (eds.) |
Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000 |
IRTAW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings |
Status and future of the Ravenscar profile session summary. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Alonso 0001, Juan Antonio de la Puente |
Implementation of mode changes with the Ravenscar profile. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | José Javier Guitiérrez García, Michael González Harbour |
Towards a real-time distributed systems annex in Ada. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Albert Llamosí, Alfons Crespo |
A semantics for dynamic ceiling priorities in Ada. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dobbing |
Overview of the Sun Java Community Process's Real-Time Expert Group specification of RT-Java: Session Summary. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil C. Audsley, Andy J. Wellings |
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Gert Caspersen |
Using the Ravenscar profile for space applications: the OBOSS case. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell, Joyce L. Tokar |
Tasking and object orientation. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001 |
Non-preemptive dispatching and locking policies. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour, Luís Miguel Pinho |
Session summary: distribution and real-time. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, Michael González Harbour |
Extending Ada's real-time systems annex with the POSIX scheduling services. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dobbing, Tullio Vardanega |
Report of session: analysis of the J consortium real-time Java proposal. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell |
Extensible protected types: proposal status. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Asplund |
Session: new scheduling/dispatching policies. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Francisco Vasques, Luis Lino Ferreira |
Programming atomic multicast in CAN. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kienzle, Alexander B. Romanovsky |
Combining tasking and transactions, part II: open multithreaded transactions. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell |
Position paper: completing the Ravenscar profile. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev |
On developing and verifying design abstractions for reliable concurrent programming in Ada. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández 0002, Rodrigo García |
The design and implementation of the open Ravenscar kernel. |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dobbing |
The Ravenscar profile for high-integrity Java programs? |
IRTAW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wolf 0013 |
Transparent replication for fault tolerance in distributed Ada 95. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Andy J. Wellings |
Dynamic ceiling priorities and Ada 95. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongfeng Shen, Theodore P. Baker |
A Linux kernel module implementation of restricted Ada tasking. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Arthur Moody, Samuel Kwok, Dale Karr |
SimpleGraphics: Tcl/Tk visualization of real-time multi-threaded and distributed applications. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kienzle |
Combining tasking and transaction. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary W. Smith, Richard A. Volz |
Distributed programming with intermediate IDL. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Kamrad |
Fault tolerance (session summary). |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. Gutiérrez García, Michael González Harbour |
Prioritizing remote procedure calls in Ada distributed systems. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Miguel Pinho, Francisco Vasques |
Replica management in real-time Ada 95 applications. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001 |
The Ravenscar Profile and implementation issues (session summary). |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael González Harbour |
Distributed Ada and real-time (session summary). |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Dobbing, George Romanski |
The Ravenscar Tasking Profile - experience reporting. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | W. M. Walker, P. T. Woolley, Alan Burns 0001 |
An experimental testbed for embedded real time Ada 95. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michell, Kristina Lundqvist |
Extendable, dispatchable task communication mechanisms. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
How to verify concurrent Ada programs: the application of model checking. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001 (eds.) |
Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999 |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona |
Real-time programming with GNAT: specialised kernels versus POSIX threads. |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings |
New language features and other language issues (session summary). |
IRTAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian G. Ujvary, Nick I. Kamenoff, Jorge L. Díaz-Herrera |
Benchmarking of hard real-time distributed systems with Ada 95. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns 0001, Andy J. Wellings |
Restricted tasking models. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Arthur Moody |
Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard D. Powers |
Implementing CIFO using Ada 95 and POSIX. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis |
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95. |
IRTAW |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license