John G. Cleary

61 papers A* 1B 9C 2Misc 7Journal 31Unranked 11
YearRankTypeTitle / Venue / Authors
2014 J jnl
Joint Variant and
J. Comput. Biol.
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
2014 J jnl
The JStar language philosophy.
Parallel Comput.
Mark Utting, Min-Hsien Weng, John G. Cleary
2013 — conf
The JStar language philosophy.
PMAM
Mark Utting, Min-Hsien Weng, John G. Cleary
2010 J jnl
Simplifying Negative Goals Using Typed Existence Properties
CoRR
Lunjin Lu, John G. Cleary
2005 J jnl
Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.
J. Bioinform. Comput. Biol.
Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes
2004 — conf
AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names.
CSB
Raf M. Podowski, John G. Cleary, Nicholas T. Goncharoff, Gregory Amoutzias, William S. Hayes
2002 J jnl
High precision traffic measurement.
IEEE Commun. Mag.
John G. Cleary, Ian Graham, Tony McGregor, Murray Pearson, Ilze Ziedins, James Curtis, Stephen Donnelly, Jed Martens, Stele Martin
2002 Misc conf
Parallel and distributed simulation: fast cell level ATM network simulation.
WSC
Xiao Zhonge, Rob Simmonds, Brian W. Unger, John G. Cleary
2002 C conf
Tabling Structures for Bottom-Up Logic Programming.
LOPSTR
Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
2000 J jnl
Parallel shared-memory simulator performance for large ATM networks.
ACM Trans. Model. Comput. Simul.
Brian W. Unger, Zhonge Xiao, John G. Cleary, Jya-Jang Tsai, Carey L. Williamson
1999 B conf
A Regular Type Analysis of Logic Programs.
ICLP
Lunjin Lu, John G. Cleary
1999 B conf
An Open Interface for Probabilistic Models of Text.
Data Compression Conference
John G. Cleary, W. J. Teahan
1999 C conf
An Operational Semantics of Starlog.
PPDP
Lunjin Lu, John G. Cleary
1999 — conf
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.
Workshop on Parallel and Distributed Simulation
Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary
1998 J jnl
An Emptiness Algorithm for Regular Types with Set Operators
CoRR
Lunjin Lu, John G. Cleary
1998 — conf
Constructive Negation Using Typed Existence Properties.
PLILP/ALP
John G. Cleary, Lunjin Lu
1998 B conf
Correcting English Text Using PPM Models.
Data Compression Conference
W. J. Teahan, Stuart Inglis, John G. Cleary, Geoffrey Holmes
1998 J jnl
On Dart-Zobel Algorithm for Testing Regular Type Inclusion
CoRR
Lunjin Lu, John G. Cleary
1998 B conf
Tag Based Models of English Text.
Data Compression Conference
W. J. Teahan, John G. Cleary
1997 Misc conf
Applying Time Warp to CPU design.
HiPC
Murray Pearson, Richard Littin, J. A. David McWha, John G. Cleary
1997 J jnl
Constructive Negation of Arithmetic Constraints Using Dataflow Graphs.
Constraints An Int. J.
John G. Cleary
1997 J jnl
Integrating error detection into arithmetic coding.
IEEE Trans. Commun.
Colin Boyd, John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert, Ian H. Witten
1997 B conf
Models of English Text.
Data Compression Conference
W. J. Teahan, John G. Cleary
1997 Misc conf
Multiplexed State Saving for Bounded Rollback.
WSC
Fabian Gomes, Brian W. Unger, John G. Cleary, Steve Franks
1997 — conf
Performance of a Conservative Simulator of ATM Networks.
Workshop on Parallel and Distributed Simulation
John G. Cleary, Jya-Jang Tsai
1997 — conf
State Saving for Interactive Optimistic Simulation.
Workshop on Parallel and Distributed Simulation
Steve Franks, Fabian Gomes, Brian W. Unger, John G. Cleary
1997 — conf
Timestamp Representations for Virtual Sequences.
Workshop on Parallel and Distributed Simulation
John G. Cleary, J. A. David McWha, Murray Pearson
1997 J jnl
Unbounded Length Contexts for PPM.
Comput. J.
John G. Cleary, W. J. Teahan
1996 — conf
Conservative Parallel Simulation of ATM Networks.
Workshop on Parallel and Distributed Simulation
John G. Cleary, Jya-Jang Tsai
1996 Misc conf
Language Based State Saving Extensions for Optimistic Parallel Simulation.
WSC
Fabian Gomes, Brian W. Unger, John G. Cleary
1996 — conf
MetaData for Database Mining.
MD
John G. Cleary, Geoffrey Holmes, Sally Jo Cunningham, Ian H. Witten
1996 B conf
The Entropy of English Using PPM-based Models.
Data Compression Conference
W. J. Teahan, John G. Cleary
1995 B conf
A fast asynchronous GVT algorithm for shared memory multiprocessor architectures.
PADS
Zhonge Xiao, Fabian Gomes, Brian W. Unger, John G. Cleary
1995 Misc conf
Infrastructure for Rapid Execution of Strike-Planning Systems.
WSC
Darrin West, John G. Cleary, Jim Hofmann, Larry Mellon, Jim Ramsey
1995 A* conf
K
ICML
John G. Cleary, Leonard E. Trigg
1995 J jnl
On the insecurity of arithmetic coding.
Comput. Secur.
John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert
1995 Misc conf
SimKit: A High Performance Logical Process Simulation Class Library in C++.
WSC
Fabian Gomes, John G. Cleary, Alan Covington, Steve Franks, Brian W. Unger, Xiao Zhonge
1995 — conf
The architecture of an optimistic CPU: the WarpEngine.
HICSS (1)
John G. Cleary, Murray Pearson, Husam Kinawi
1995 B conf
Unbounded Length Contexts for PPM.
Data Compression Conference
John G. Cleary, W. J. Teahan, Ian H. Witten
1994 B conf
Cost of state saving & rollback.
PADS
John G. Cleary, Fabian Gomes, Brian W. Unger, Zhonge Xiao, Raimar Thudt
1993 Misc conf
An external state management system for optimistic parallel simulation.
WSC
Brian W. Unger, John G. Cleary, Alan Covington, Darrin West
1993 J jnl
Bonsai: a Compact Representation of Trees.
Softw. Pract. Exp.
John J. Darragh, John G. Cleary, Ian H. Witten
1993 J jnl
Commentary - Practical Parallel Discrete Event Simulation.
INFORMS J. Comput.
Brian W. Unger, John G. Cleary
1992 — conf
AND-Parallel Prolog on a Transputer-Based System.
IJCSLP Workshop on Concurrent and Parallel Implementations
Ian Olthof, John G. Cleary
1992 J jnl
Virtual time and virtual space.
Int. J. Parallel Program.
Xining Li, John G. Cleary, Brian W. Unger
1989 J jnl
Modeling for Text Compression.
ACM Comput. Surv.
Timothy C. Bell, Ian H. Witten, John G. Cleary
1988 J jnl
Analysis of an algorithm for fast ray tracing using uniform space subdivision.
Vis. Comput.
John G. Cleary, Geoff Wyvill
1988 J jnl
On the privacy afforded by adaptive text compression.
Comput. Secur.
Ian H. Witten, John G. Cleary
1987 J jnl
Acquisition of Uncertain Rules in a Probabilistic Logic.
Int. J. Man Mach. Stud.
John G. Cleary
1987 J jnl
Arithmetic Coding for Data Compression.
Commun. ACM
Ian H. Witten, Radford M. Neal, John G. Cleary
1986 J jnl
Graphical Display of Complex Information within a Prolog Debugger.
Int. J. Man Mach. Stud.
Alan D. Dewar, John G. Cleary
1986 J jnl
Multiprocessor Ray Tracing.
Comput. Graph. Forum
John G. Cleary, Brian Wyvill, Graham M. Birtwistle, Reddy Vatti
1984 J jnl
A comparison of enumerative and adaptive codes.
IEEE Trans. Inf. Theory
John G. Cleary, Ian H. Witten
1984 J jnl
Compact Hash Tables Using Bidirectional Linear Probing.
IEEE Trans. Computers
John G. Cleary
1984 J jnl
Data Compression Using Adaptive Coding and Partial String Matching.
IEEE Trans. Commun.
John G. Cleary, Ian H. Witten
1984 J jnl
On Frequency-Based Menu-Splitting Algorithms.
Int. J. Man Mach. Stud.
Ian H. Witten, John G. Cleary, Saul Greenberg
1983 J jnl
An introduction to the architecture of the Intel iAPX 432.
Softw. Microsystems
Ian H. Witten, John G. Cleary
1983 J jnl
Jade: A Distributed Software Prototyping Environment.
ACM SIGOPS Oper. Syst. Rev.
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
1979 J jnl
Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean Space.
ACM Trans. Math. Softw.
John G. Cleary
1971 J jnl
A data structure model of the B6700 computer system.
ACM SIGPLAN Notices
Elliott I. Organick, John G. Cleary
1966 J jnl
A Fortran technique for simplifying input to report generators.
Commun. ACM
John G. Cleary