George J. Milne

ORCID

Publication Activity (10 Years)

Years Active: 1979-2006
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

George J. Milne
Modelling Dynamically Changing Hardware Structure. Electron. Notes Theor. Comput. Sci. 162 (2006)
Gareth Lee, George J. Milne
Programming paradigms for reconfigurable computing. Microprocess. Microsystems 29 (10) (2005)
Joel Kelso, George J. Milne
Properties as Processes: Their Specification and Verification. FORTE (2005)
Antonio Cerone, George J. Milne
Property verification of asynchronous systems. Innov. Syst. Softw. Eng. 1 (1) (2005)
Gareth Lee, George J. Milne
Building Run-Time Reconfigurable Systems from Tiles. FPL (2003)
Gareth Lee, George J. Milne
A methodology for design of run-time reconfigurable systems. FPT (2002)
Antonio Cerone, George J. Milne
A Methodology for the Formal Analysis of Asynchronous Micropipelines. FMCAD (2000)
Oliver Diessel, George J. Milne
Behavioural Language Compilation with Virtual Hardware Management. FPL (2000)
Oliver Diessel, George J. Milne
Compiling Process Algebraic Descriptions into Reconfigurable Logic. IPDPS Workshops (2000)
Jihan Zhu, George J. Milne
Implementing Kak Neural Networks on a Reconfigurable Computing Platform. FPL (2000)
George J. Milne
A Model for Dynamic Adaptation in Reconfigurable Hardware Systems. Evolvable Hardware (1999)
Antonio Cerone, David A. Kearney, George J. Milne
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. ACSD (1998)
George J. Milne
Reconfigurable custom computing as a supercomputer replacement. HiPC (1997)
Antonio Cerone, Alex J. Cowie, George J. Milne
The Circal System. AMAST (1997)
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
Modelling a Time-Dependent Protocol Using the Circal Process Algebra. HART (1997)
Antonio Cerone, George J. Milne
Specification of Timing Constraints within the Circal Process Algebra. AMAST (1997)
Graham Budd, George J. Milne
ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications. COMPCON (1996)
Andrew M. Bailey, George Alexander McCaskill, George J. Milne
An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods Syst. Des. 4 (3) (1994)
Paul Shaw, George J. Milne
A Highly Parallel FPL-Based Machine and Its Formal Verification. FPL (1992)
Peter Barrie, Paul Cockshott, George J. Milne, Paul Shaw
Design and verification of a highly concurrent machine. Microprocess. Microsystems 16 (3) (1992)
George J. Milne
The Formal Description and Verification of Hardware Timing. IEEE Trans. Computers 40 (7) (1991)
Wenbo Mao, George J. Milne
An Automated Proof Technique for Finite-State Machine Equivalence. CAV (1991)
George J. Milne
Design for Verifiability. Hardware Specification, Verification and Synthesis (1989)
George J. Milne
Circal and the Representation of Communication, Concurrency, and Time. ACM Trans. Program. Lang. Syst. 7 (2) (1985)
George J. Milne
A model for hardware description and verification. DAC (1984)
George J. Milne
Description and Analysis Using Circal. The Analysis of Concurrent Systems (1983)
George J. Milne
Circal: A calculus for circuit description. Integr. 1 (2-3) (1983)
George J. Milne
Abstraction and Nondeterminism in Concurrent Systems. ICDCS (1982)
George J. Milne, Robin Milner
Concurrent Processes and Their Syntax. J. ACM 26 (2) (1979)

George J. Milne.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

George J. Milne