Joyce L. Tokar

16 papers B 1Misc 5Unranked 10
YearRankTypeTitle / Venue / Authors
2011 — conf
Software vulnerabilities precluded by spark.
SIGAda
Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka
2008 — conf
30 years after steelman, does DoD still have a software crisis?
SIGAda
Joyce L. Tokar
2006 B conf
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).
WADS
Joyce L. Tokar
2003 — conf
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's).
IRTAW
Andy J. Wellings, Joyce L. Tokar
2003 — conf
Session summary: new core language features.
IRTAW
Joyce L. Tokar, Brian Dobbing
2003 — conf
Space & Time Partitioning with ARINC 653 and pragma profile.
IRTAW
Joyce L. Tokar
2002 — conf
Session summary: summary and plans for next IRTAW.
IRTAW
Joyce L. Tokar, Ben Brosgol
2001 Misc conf
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.
Ada-Europe
Joyce L. Tokar
2000 — conf
Tasking and object orientation.
IRTAW
Stephen Michell, Joyce L. Tokar
1995 Misc conf
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems.
Ada-Europe
Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar
1994 Misc conf
Handling Interrupts in Ada 9X.
Ada-Europe
Joyce L. Tokar
1993 Misc conf
Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures.
Ada-Europe
Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin
1993 — conf
Transitioning to Ada 9X: Tartan's position.
WADAS
Joyce L. Tokar
1992 — conf
Ada 9X Implementation.
TRI-Ada
Joyce L. Tokar
1992 — conf
An analysis of the Ada 9X and ARTEWG CIFO 3.0 overlap.
WADAS
Joyce L. Tokar
1991 Misc conf
Reconfigurable Ada Distributed Control System Software.
Ada-Europe
D. C. Levy, M. C. Randelhoff, Joyce L. Tokar