James G. Mitchell

Publication Activity (10 Years)

Years Active: 1974-2022
Publications (10 Years): 1

Top Topics

Natural Language Processing

Spatial Structure

High Dimensional

Amino Acid Sequences

Top Venues

Publications

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