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

Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
Computer, 1991

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

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

The Cyclic Executive Model and Ada.
Real Time Syst., 1989

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...