James G. Mitchell

According to our database, James G. Mitchell authored at least 16 papers between 1970 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Organizing the bacterial annotation space with amino acid sequence embeddings.

Susanna R. Grigson, Jody C. McKerral, James G. Mitchell, Robert A. Edwards

BMC Bioinform., December, 2022

2011

Energy-Efficient Error Control for Tightly Coupled Systems Using Silicon Photonic Interconnects.

Xuezhe Zheng, Pranay Koka, Michael O. McCracken, Herb Schwetman, James G. Mitchell, Jin Yao, Ron Ho, Kannan Raj, Ashok V. Krishnamoorthy

JOCN, 2011

2010

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

Theresa Sze, Darko Popovic, Jing Shi, Yi-Shao Lai, James G. Mitchell, Bruce Guenin, Tsung-Yueh Tsai, Chin-Li Kao, Matthew Giere

Microelectron. Reliab., 2010

1996

JavaOS: Back to the Future (Abstract).

James G. Mitchell

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

1994

An Overview of the Spring System.

James G. Mitchell, Jonathan Gibbons, Graham Hamilton, Peter B. Kessler, Yousef Y. A. Khalidi, Panos Kougiouris, Peter Madany, Michael N. Nelson, Michael L. Powell, Sanjay R. Radia

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

1993

Subcontract: A Flexible Base for Distributed Programming.

Graham Hamilton, Michael L. Powell, James G. Mitchell

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

1983

How to Connect Stable Memory to a Computer.

Roger M. Needham, A. J. Herbert, James G. Mitchell

ACM SIGOPS Oper. Syst. Rev., 1983

File Servers.

James G. Mitchell

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

1982

A Comparison of Two Network-Based File Servers.

James G. Mitchell, Jeremy Dion

Commun. ACM, 1982

1981

Mesa from the perspective of a designer turned user.

James G. Mitchell

Proceedings of the international conference on APL, 1981

1978

Proof Rules for the Programming Language Euclid.

Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek

Acta Informatica, 1978

1977

Report on the programming language Euclid.

Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek

ACM SIGPLAN Notices, 1977

Notes on the Design of Euclid.

Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1975

On the Problem of Uniform References to Data Structures.

Charles M. Geschke, James G. Mitchell

IEEE Trans. Software Eng., 1975

1974

On the transfer of control between contexts.

Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite

Proceedings of the Programming Symposium, 1974

1970

The Design and Construction of Flexible and Efficient Interactive Programming Systems

James G. Mitchell

Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4414-2, 1970