George J. Milne

31 papers A* 2A 1B 5C 1Misc 1Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2005 — conf
Modelling Dynamically Changing Hardware Structure.
APC 25
George J. Milne
2005 J jnl
Programming paradigms for reconfigurable computing.
Microprocess. Microsystems
Gareth Lee, George J. Milne
2005 C conf
Properties as Processes: Their Specification and Verification.
FORTE
Joel Kelso, George J. Milne
2005 J jnl
Property verification of asynchronous systems.
Innov. Syst. Softw. Eng.
Antonio Cerone, George J. Milne
2003 B conf
Building Run-Time Reconfigurable Systems from Tiles.
FPL
Gareth Lee, George J. Milne
2002 — conf
A methodology for design of run-time reconfigurable systems.
FPT
Gareth Lee, George J. Milne
2000 B conf
A Methodology for the Formal Analysis of Asynchronous Micropipelines.
FMCAD
Antonio Cerone, George J. Milne
2000 B conf
Behavioural Language Compilation with Virtual Hardware Management.
FPL
Oliver Diessel, George J. Milne
2000 — conf
Compiling Process Algebraic Descriptions into Reconfigurable Logic.
IPDPS Workshops
Oliver Diessel, George J. Milne
2000 B conf
Implementing Kak Neural Networks on a Reconfigurable Computing Platform.
FPL
Jihan Zhu, George J. Milne
1999 — conf
A Model for Dynamic Adaptation in Reconfigurable Hardware Systems.
Evolvable Hardware
George J. Milne
1998 — conf
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems.
ACSD
Antonio Cerone, David A. Kearney, George J. Milne
1997 — conf
Modelling a Time-Dependent Protocol Using the Circal Process Algebra.
HART
Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
1997 Misc conf
Reconfigurable custom computing as a supercomputer replacement.
HiPC
George J. Milne
1997 — conf
Specification of Timing Constraints within the Circal Process Algebra.
AMAST
Antonio Cerone, George J. Milne
1997 — conf
The Circal System.
AMAST
Antonio Cerone, Alex J. Cowie, George J. Milne
1996 — conf
ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications.
COMPCON
Graham Budd, George J. Milne
1994 J jnl
An Exercise in the Automatic Verification of Asynchronous Designs.
Formal Methods Syst. Des.
Andrew M. Bailey, George Alexander McCaskill, George J. Milne
1993 — ed.
Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26, 1993, Proceedings
CHARME
George J. Milne, Laurence Pierre
1992 B conf
A Highly Parallel FPL-Based Machine and Its Formal Verification.
FPL
Paul Shaw, George J. Milne
1992 J jnl
Design and verification of a highly concurrent machine.
Microprocess. Microsystems
Peter Barrie, Paul Cockshott, George J. Milne, Paul Shaw
1991 A* conf
An Automated Proof Technique for Finite-State Machine Equivalence.
CAV
Wenbo Mao, George J. Milne
1991 J jnl
The Formal Description and Verification of Hardware Timing.
IEEE Trans. Computers
George J. Milne
1989 — conf
Design for Verifiability.
Hardware Specification, Verification and Synthesis
George J. Milne
1985 J jnl
Circal and the Representation of Communication, Concurrency, and Time.
ACM Trans. Program. Lang. Syst.
George J. Milne
1984 A* conf
A model for hardware description and verification.
DAC
George J. Milne
1983 J jnl
Circal: A calculus for circuit description.
Integr.
George J. Milne
1983 — conf
Description and Analysis Using Circal.
The Analysis of Concurrent Systems
George J. Milne
1982 A conf
Abstraction and Nondeterminism in Concurrent Systems.
ICDCS
George J. Milne
1979 J jnl
Concurrent Processes and Their Syntax.
J. ACM
George J. Milne, Robin Milner
1977 — —
Mathematical model of concurrent computation.
George J. Milne