George J. Milne

According to our database, George J. Milne authored at least 30 papers between 1977 and 2005.

Collaborative distances:

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

2005

Programming paradigms for reconfigurable computing.

Gareth Lee, George J. Milne

Microprocess. Microsystems, 2005

Property verification of asynchronous systems.

Antonio Cerone, George J. Milne

Innov. Syst. Softw. Eng., 2005

Modelling Dynamically Changing Hardware Structure.

George J. Milne

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Properties as Processes: Their Specification and Verification.

Joel Kelso, George J. Milne

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2003

Building Run-Time Reconfigurable Systems from Tiles.

Gareth Lee, George J. Milne

Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

2002

A methodology for design of run-time reconfigurable systems.

Gareth Lee, George J. Milne

Proceedings of the 2002 IEEE International Conference on Field-Programmable Technology, 2002

2000

Compiling Process Algebraic Descriptions into Reconfigurable Logic.

Oliver Diessel, George J. Milne

Proceedings of the Parallel and Distributed Processing, 2000

Implementing Kak Neural Networks on a Reconfigurable Computing Platform.

Jihan Zhu, George J. Milne

Proceedings of the Field-Programmable Logic and Applications, 2000

Behavioural Language Compilation with Virtual Hardware Management.

Oliver Diessel, George J. Milne

Proceedings of the Field-Programmable Logic and Applications, 2000

A Methodology for the Formal Analysis of Asynchronous Micropipelines.

Antonio Cerone, George J. Milne

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

A Model for Dynamic Adaptation in Reconfigurable Hardware Systems.

George J. Milne

Proceedings of the 1st NASA / DoD Workshop on Evolvable Hardware (EH '99), 1999

1998

Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.

Antonio Cerone, David A. Kearney, George J. Milne

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Modelling a Time-Dependent Protocol Using the Circal Process Algebra.

Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley

Proceedings of the Hybrid and Real-Time Systems, 1997

Reconfigurable custom computing as a supercomputer replacement.

George J. Milne

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

Specification of Timing Constraints within the Circal Process Algebra.

Antonio Cerone, George J. Milne

Proceedings of the Algebraic Methodology and Software Technology, 1997

The Circal System.

Antonio Cerone, Alex J. Cowie, George J. Milne

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications.

Graham Budd, George J. Milne

Proceedings of the Forty-First IEEE Computer Society International Conference: Technologies for the Information Superhighway, 1996

1994

An Exercise in the Automatic Verification of Asynchronous Designs.

Andrew M. Bailey, George Alexander McCaskill, George J. Milne

Formal Methods Syst. Des., 1994

1992

Design and verification of a highly concurrent machine.

Peter Barrie, Paul Cockshott, George J. Milne, Paul Shaw

Microprocess. Microsystems, 1992

A Highly Parallel FPL-Based Machine and Its Formal Verification.

Paul Shaw, George J. Milne

Proceedings of the Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31, 1992

1991

The Formal Description and Verification of Hardware Timing.

George J. Milne

IEEE Trans. Computers, 1991

An Automated Proof Technique for Finite-State Machine Equivalence.

Wenbo Mao, George J. Milne

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Design for Verifiability.

George J. Milne

Proceedings of the Hardware Specification, 1989

1985

Circal and the Representation of Communication, Concurrency, and Time.

George J. Milne

ACM Trans. Program. Lang. Syst., 1985

1984

A model for hardware description and verification.

George J. Milne

Proceedings of the 21st Design Automation Conference, 1984

1983

Circal: A calculus for circuit description.

George J. Milne

Integr., 1983

Description and Analysis Using Circal.

George J. Milne

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Abstraction and Nondeterminism in Concurrent Systems.

George J. Milne

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1979

Concurrent Processes and Their Syntax.

George J. Milne, Robin Milner

J. ACM, 1979

1977

Mathematical model of concurrent computation.

George J. Milne

PhD thesis, 1977