Alan C. Shaw

22 papers A 3Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2001 — book
Real-time systems and software.
Alan C. Shaw
2000 J jnl
A Case For Object-Oriented Real-Time Systems (OORTS).
Real Time Syst.
Alan C. Shaw
1994 J jnl
A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines.
Softw. Pract. Exp.
Sitaram C. V. Raju, Alan C. Shaw
1992 J jnl
Communicating Real-Time State Machines.
IEEE Trans. Software Eng.
Alan C. Shaw
1991 J jnl
Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model.
Softw. Pract. Exp.
H. Rebecca Callison, Alan C. Shaw
1991 — conf
Deterministic Timing Schema for Parallel Programs.
IPPS
Alan C. Shaw
1991 J jnl
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
Computer
Chang Yun Park, Alan C. Shaw
1990 A conf
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
RTSS
Chang Yun Park, Alan C. Shaw
1989 J jnl
Reasoning About Time in Higher-Level Language Software.
IEEE Trans. Software Eng.
Alan C. Shaw
1989 J jnl
The Cyclic Executive Model and Ada.
Real Time Syst.
Theodore P. Baker, Alan C. Shaw
1988 A conf
The Cyclic Executive Model and Ada.
RTSS
Theodore P. Baker, Alan C. Shaw
1988 — book
The logical design of operating systems (2. ed.).
Lubomir Bic, Alan C. Shaw
1986 A conf
Software Clocks, Concurrent Programming, and Slice-Based Scheduling.
RTSS
Alan C. Shaw
1984 — conf
The structure of abstract document objects.
COCS
Gary D. Kimura, Alan C. Shaw
1978 J jnl
Software Descriptions with Flow Expressions.
IEEE Trans. Software Eng.
Alan C. Shaw
1975 J jnl
A Multiprogramming Nucleus with Dynamic Resource Facilities.
Softw. Pract. Exp.
Alan C. Shaw, Nelson H. Weiderman, Gregory R. Andrews, Mary-Beth Felcyn, John E. Rieber, Gain Wong
1975 J jnl
Interactive picture generation and manipulation through formal descriptions.
Comput. Graph.
John E. Rieber, Alan C. Shaw
1972 J jnl
Computers and Society: A Proposed Course for Computer Scientists.
Commun. ACM
Ellis Horowitz, Howard L. Morgan, Alan C. Shaw
1971 — conf
A Multiprogramming System for Education and Research.
IFIP Congress (2)
Alan C. Shaw, Nelson H. Weiderman
1970 J jnl
Parsing of Graph-Representable Pictures.
J. ACM
Alan C. Shaw
1969 J jnl
A Formal Picture Description Scheme as a Basis for Picture Processing Systems
Inf. Control.
Alan C. Shaw
1968 — —
The formal description and parsing of pictures.
Alan C. Shaw