Joyce L. Tokar

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

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