| 2007 |
|---|
| 11 | EE | Francisco García-Rodríguez,
Javier Miranda,
José Fortes Gálvez:
Incorporating Precise Garbage Collection in an Ada Compiler.
Ada-Europe 2007: 235-245 |
| 2006 |
|---|
| 10 | EE | Javier Miranda,
Edmond Schonberg:
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.
Ada-Europe 2006: 179-190 |
| 2005 |
|---|
| 9 | EE | Javier Miranda,
Edmond Schonberg,
Gary Dismukes:
The Implementation of Ada 2005 Interface Types in the GNAT Compiler.
Ada-Europe 2005: 208-219 |
| 8 | EE | Mario Aldea Rivas,
Javier Miranda,
Michael González Harbour:
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.
Ada-Europe 2005: 220-235 |
| 7 | EE | Javier Miranda,
Edmond Schonberg,
Hristian Kirtchev:
The implementation of ada 2005 synchronized interfaces in the GNAT compiler.
SIGAda 2005: 41-48 |
| 2004 |
|---|
| 6 | EE | Ernestina Martel,
Javier Miranda,
Francisco Guerra Santana,
Luis Hernández:
Remote Management of Distributed Applications.
PDP 2004: 159- |
| 5 | EE | Javier Miranda,
Edmond Schonberg:
GNAT: on the road to Ada 2005.
SIGAda 2004: 51-60 |
| 2003 |
|---|
| 4 | EE | Ernestina Martel,
Francisco Guerra Santana,
Javier Miranda,
Luis Hernández:
A Graphical Environment for GLADE.
Ada-Europe 2003: 182-195 |
| 2002 |
|---|
| 3 | EE | Ernestina Martel,
Francisco Guerra Santana,
Javier Miranda:
EPDA-modeller: a tool for modelling a distributed programming environment.
ISCC 2002: 245-250 |
| 2 | EE | F. Guerra,
Javier Miranda,
J. M. Santos,
Ernestina Martel,
Luis Hernández,
E. Pulido:
Programming Distributed Systems with Group_IO.
PDP 2002: 188-197 |
| 1 | EE | Javier Miranda,
F. Guerra,
J. Martin,
A. Gonzalez:
A Technique to Build Ada Preprocessors.
PDP 2002: 196-200 |
