Alan C. Shaw

Affiliations:
  • University of Washington, Seattle, Washington, USA


According to our database1, Alan C. Shaw authored at least 20 papers between 1968 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 1997, "He is an outstanding researcher with contributions in operating systems, real-time systems, picture processing and software modelling. He has written seminal CS texts.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2001
Real-time systems and software.
Wiley, ISBN: 978-0-471-35490-1, 2001

2000
A Case For Object-Oriented Real-Time Systems (OORTS).
Real Time Syst., 2000

1994
A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines.
Softw. Pract. Exp., 1994

1992
Communicating Real-Time State Machines.
IEEE Trans. Software Eng., 1992

1991
Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model.
Softw. Pract. Exp., 1991

Deterministic Timing Schema for Parallel Programs.
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991

1990
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
Proceedings of the Real-Time Systems Symposium, 1990

1989
Reasoning About Time in Higher-Level Language Software.
IEEE Trans. Software Eng., 1989

1988
The Cyclic Executive Model and Ada.
Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

The logical design of operating systems (2. ed.).
Prentice Hall, ISBN: 978-0-13-540196-5, 1988

1986
Software Clocks, Concurrent Programming, and Slice-Based Scheduling.
Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986

1984
The structure of abstract document objects.
Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984

1978
Software Descriptions with Flow Expressions.
IEEE Trans. Software Eng., 1978

1975
A Multiprogramming Nucleus with Dynamic Resource Facilities.
Softw. Pract. Exp., 1975

Interactive picture generation and manipulation through formal descriptions.
Comput. Graph., 1975

1972
Computers and Society: A Proposed Course for Computer Scientists.
Commun. ACM, 1972

1971
A Multiprogramming System for Education and Research.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971

1970
Parsing of Graph-Representable Pictures.
J. ACM, 1970

1969
A Formal Picture Description Scheme as a Basis for Picture Processing Systems
Inf. Control., January, 1969

1968
The formal description and parsing of pictures.
PhD thesis, 1968


  Loading...