John G. Cleary

According to our database, John G. Cleary authored at least 60 papers between 1966 and 2014.

Collaborative distances:

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

2014

The JStar language philosophy.

Mark Utting, Min-Hsien Weng, John G. Cleary

Parallel Comput., 2014

Joint Variant and <i>De Novo</i> Mutation Identification on Pedigrees from High-Throughput Sequencing Data.

John G. Cleary, Ross Braithwaite, Kurt Gaastra, Brian S. Hilbush, Stuart Inglis, Sean A. Irvine, Alan Jackson, Richard Littin, Sahar Nohzadeh-Malakshah, Mehul Rathod, David Ware, Len Trigg, Francisco M. de la Vega

J. Comput. Biol., 2014

2010

Simplifying Negative Goals Using Typed Existence Properties

Lunjin Lu, John G. Cleary

CoRR, 2010

2005

Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.

Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes

J. Bioinform. Comput. Biol., 2005

2004

AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.

Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes

Proceedings of the 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, 2004

2002

High precision traffic measurement.

John G. Cleary, Ian Graham, Tony McGregor, Murray Pearson, Ilze Ziedins, James Curtis, Stephen Donnelly, Jed Martens, Stele Martin

IEEE Commun. Mag., 2002

Parallel and distributed simulation: fast cell level ATM network simulation.

Xiao Zhonge, Rob Simmonds, Brian W. Unger, John G. Cleary

Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Tabling Structures for Bottom-Up Logic Programming.

Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2000

Parallel shared-memory simulator performance for large ATM networks.

Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson

ACM Trans. Model. Comput. Simul., 2000

1999

An Operational Semantics of Starlog.

Lunjin Lu, John G. Cleary

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.

Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary

Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, 1999

A Regular Type Analysis of Logic Programs.

Lunjin Lu, John G. Cleary

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Open Interface for Probabilistic Models of Text.

John G. Cleary, W. J. Teahan

Proceedings of the Data Compression Conference, 1999

1998

An Emptiness Algorithm for Regular Types with Set Operators

Lunjin Lu, John G. Cleary

CoRR, 1998

On Dart-Zobel Algorithm for Testing Regular Type Inclusion

Lunjin Lu, John G. Cleary

CoRR, 1998

Constructive Negation Using Typed Existence Properties.

John G. Cleary, Lunjin Lu

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Correcting English Text Using PPM Models.

W. J. Teahan, Stuart Inglis, John G. Cleary, Geoffrey Holmes

Proceedings of the Data Compression Conference, 1998

Tag Based Models of English Text.

W. J. Teahan, John G. Cleary

Proceedings of the Data Compression Conference, 1998

1997

Integrating error detection into arithmetic coding.

Colin Boyd, John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert, Ian H. Witten

IEEE Trans. Commun., 1997

Constructive Negation of Arithmetic Constraints Using Dataflow Graphs.

John G. Cleary

Constraints An Int. J., 1997

Unbounded Length Contexts for PPM.

John G. Cleary, W. J. Teahan

Comput. J., 1997

Multiplexed State Saving for Bounded Rollback.

Fabian Gomes, Brian W. Unger, John G. Cleary, Steve Franks

Proceedings of the 29th conference on Winter simulation, 1997

State Saving for Interactive Optimistic Simulation.

Steve Franks, Fabian Gomes, Brian W. Unger, John G. Cleary

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Performance of a Conservative Simulator of ATM Networks.

John G. Cleary, Jya-Jang Tsai

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Timestamp Representations for Virtual Sequences.

John G. Cleary, J. A. David McWha, Murray Pearson

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Applying Time Warp to CPU design.

Murray Pearson, Richard Littin, J. A. David McWha, John G. Cleary

Proceedings of the Fourth International on High-Performance Computing, 1997

Models of English Text.

W. J. Teahan, John G. Cleary

Proceedings of the 7th Data Compression Conference (DCC '97), 1997

1996

Language Based State Saving Extensions for Optimistic Parallel Simulation.

Fabian Gomes, Brian W. Unger, John G. Cleary

Proceedings of the 28th conference on Winter simulation, 1996

Conservative Parallel Simulation of ATM Networks.

John G. Cleary, Jya-Jang Tsai

Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

MetaData for Database Mining.

John G. Cleary, Geoffrey Holmes, Sally Jo Cunningham, Ian H. Witten

Proceedings of the 1st IEEE Metadata Conference 1996, MD 1996, Silver Spring, 1996

The Entropy of English Using PPM-based Models.

W. J. Teahan, John G. Cleary

Proceedings of the 6th Data Compression Conference (DCC '96), Snowbird, Utah, USA, March 31, 1996

1995

On the insecurity of arithmetic coding.

John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert

Comput. Secur., 1995

Infrastructure for Rapid Execution of Strike-Planning Systems.

Darrin West, John G. Cleary, Jim Hofmann, Larry Mellon, Jim Ramsey

Proceedings of the 27th conference on Winter simulation, 1995

SimKit: A High Performance Logical Process Simulation Class Library in C++.

Fabian Gomes, John G. Cleary, Alan Covington, Steve Franks, Brian W. Unger, Xiao Zhonge

Proceedings of the 27th conference on Winter simulation, 1995

A fast asynchronous GVT algorithm for shared memory multiprocessor architectures.

Zhonge Xiao, Fabian Gomes, Brian W. Unger, John G. Cleary

Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

K^*: An Instance-based Learner Using and Entropic Distance Measure.

John G. Cleary, Leonard E. Trigg

Proceedings of the Machine Learning, 1995

The architecture of an optimistic CPU: the WarpEngine.

John G. Cleary, Murray Pearson, Husam Kinawi

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Unbounded Length Contexts for PPM.

John G. Cleary, W. J. Teahan, Ian H. Witten

Proceedings of the IEEE Data Compression Conference, 1995

1994

Cost of state saving & rollback.

John G. Cleary, Fabian Gomes, Brian W. Unger, Zhonge Xiao, Raimar Thudt

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

1993

Bonsai: a Compact Representation of Trees.

John J. Darragh, John G. Cleary, Ian H. Witten

Softw. Pract. Exp., 1993

Commentary - Practical Parallel Discrete Event Simulation.

Brian W. Unger, John G. Cleary

INFORMS J. Comput., 1993

An external state management system for optimistic parallel simulation.

Brian W. Unger, John G. Cleary, Alan Covington, Darrin West

Proceedings of the 25th Winter Simulation Conference, 1993

1992

Virtual time and virtual space.

Xining Li, John G. Cleary, Brian W. Unger

Int. J. Parallel Program., 1992

AND-Parallel Prolog on a Transputer-Based System.

Ian Olthof, John G. Cleary

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

1989

Modeling for Text Compression.

Timothy C. Bell, Ian H. Witten, John G. Cleary

ACM Comput. Surv., 1989

1988

Analysis of an algorithm for fast ray tracing using uniform space subdivision.

John G. Cleary, Geoff Wyvill

Vis. Comput., 1988

On the privacy afforded by adaptive text compression.

Ian H. Witten, John G. Cleary

Comput. Secur., 1988

1987

Acquisition of Uncertain Rules in a Probabilistic Logic.

John G. Cleary

Int. J. Man Mach. Stud., 1987

Arithmetic Coding for Data Compression.

Ian H. Witten, Radford M. Neal, John G. Cleary

Commun. ACM, 1987

1986

Graphical Display of Complex Information within a Prolog Debugger.

Alan D. Dewar, John G. Cleary

Int. J. Man Mach. Stud., 1986

Multiprocessor Ray Tracing.

John G. Cleary, Brian Wyvill, Graham M. Birtwistle, Reddy Vatti

Comput. Graph. Forum, 1986

1984

A comparison of enumerative and adaptive codes.

John G. Cleary, Ian H. Witten

IEEE Trans. Inf. Theory, 1984

Data Compression Using Adaptive Coding and Partial String Matching.

John G. Cleary, Ian H. Witten

IEEE Trans. Commun., 1984

Compact Hash Tables Using Bidirectional Linear Probing.

John G. Cleary

IEEE Trans. Computers, 1984

On Frequency-Based Menu-Splitting Algorithms.

Ian H. Witten, John G. Cleary, Saul Greenberg

Int. J. Man Mach. Stud., 1984

1983

Jade: A Distributed Software Prototyping Environment.

Ian H. Witten, Graham M. Birtwistle, John G. Cleary, David R. Hill, Danny Levinson, Greg Lomow, Radford M. Neal, Murray Peterson, Brian W. Unger, Brian Wyvill

ACM SIGOPS Oper. Syst. Rev., 1983

An introduction to the architecture of the Intel iAPX 432.

Ian H. Witten, John G. Cleary

Softw. Microsystems, 1983

1979

Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean Space.

John G. Cleary

ACM Trans. Math. Softw., 1979

1971

A data structure model of the B6700 computer system.

Elliott I. Organick, John G. Cleary

ACM SIGPLAN Notices, 1971

1966

A Fortran technique for simplifying input to report generators.

John G. Cleary

Commun. ACM, 1966