James G. Mitchell

According to our database1, James G. Mitchell
  • authored at least 14 papers between 1970 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Early experience with in situ chip-to-chip alignment characterization of Proximity Communication flip-chip package.
Microelectronics Reliability, 2010

1996
JavaOS: Back to the Future (Abstract).
Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

1994
An Overview of the Spring System.
Proceedings of the Spring COMPCON 94, Digest of Papers, San Francisco, California, USA, February 28, 1994

1993
Subcontract: A Flexible Base for Distributed Programming.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

1983
How to Connect Stable Memory to a Computer.
Operating Systems Review, 1983

File Servers.
Proceedings of the Local Area Networks: An Advanced Course, 1983

1982
A Comparison of Two Network-Based File Servers.
Commun. ACM, 1982

1981
A Comparison of Two Network-Based File Servers.
Proceedings of the Eighth Symposium on Operating System Principles, 1981

1978
Proof Rules for the Programming Language Euclid.
Acta Inf., 1978

Proof Rules for the Programming Language Euclid.
Proceedings of the Program Construction, International Summer School, July 26, 1978

1977
Notes on the Design of Euclid.
Language Design for Reliable Software, 1977

1975
On the Problem of Uniform References to Data Structures.
IEEE Trans. Software Eng., 1975

1974
On the transfer of control between contexts.
Proceedings of the Programming Symposium, 1974

1970
The Design and Construction of Flexible and Efficient Interactive Programming Systems
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4414-2, 1970


  Loading...