James G. Mitchell

19 papers A* 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Organizing the bacterial annotation space with amino acid sequence embeddings.
BMC Bioinform.
Susanna R. Grigson, Jody C. McKerral, James G. Mitchell, Robert A. Edwards
2011 J jnl
Energy-Efficient Error Control for Tightly Coupled Systems Using Silicon Photonic Interconnects.
JOCN
Xuezhe Zheng, Pranay Koka, Michael O. McCracken, Herb Schwetman, James G. Mitchell, Jin Yao, Ron Ho, Kannan Raj, Ashok V. Krishnamoorthy
2010 J jnl
Early experience with in situ chip-to-chip alignment characterization of Proximity Communication flip-chip package.
Microelectron. Reliab.
Theresa Sze, Darko Popovic, Jing Shi, Yi-Shao Lai, James G. Mitchell, Bruce Guenin, Tsung-Yueh Tsai, Chin-Li Kao, Matthew Giere
1996 A* conf
JavaOS: Back to the Future (Abstract).
OSDI
James G. Mitchell
1994 — conf
An Overview of the Spring System.
COMPCON
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
1993 A* conf
Subcontract: A Flexible Base for Distributed Programming.
SOSP
Graham Hamilton, Michael L. Powell, James G. Mitchell
1983 — conf
File Servers.
Advanced Course: Local Area Networks
James G. Mitchell
1983 J jnl
How to Connect Stable Memory to a Computer.
ACM SIGOPS Oper. Syst. Rev.
Roger M. Needham, A. J. Herbert, James G. Mitchell
1982 J jnl
A Comparison of Two Network-Based File Servers.
Commun. ACM
James G. Mitchell, Jeremy Dion
1981 A* conf
A Comparison of Two Network-Based File Servers.
SOSP
James G. Mitchell, Jeremy Dion
1981 — conf
Mesa from the perspective of a designer turned user.
APL
James G. Mitchell
1978 — conf
Proof Rules for the Programming Language Euclid.
Program Construction
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978 J jnl
Proof Rules for the Programming Language Euclid.
Acta Informatica
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1977 — conf
Notes on the Design of Euclid.
Language Design for Reliable Software
Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
1977 J jnl
Report on the programming language Euclid.
ACM SIGPLAN Notices
Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
1975 J jnl
On the Problem of Uniform References to Data Structures.
IEEE Trans. Software Eng.
Charles M. Geschke, James G. Mitchell
1975 — conf
On the problem of uniform references to data structures.
Reliable Software
Charles M. Geschke, James G. Mitchell
1974 — conf
On the transfer of control between contexts.
Symposium on Programming
Butler W. Lampson, James G. Mitchell, E. H. Satterthwhaite
1970 — book
The Design and Construction of Flexible and Efficient Interactive Programming Systems
James G. Mitchell