|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
158 | George J. Milne |
Circal and the Representation of Communication, Concurrency, and Time. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
CIRCAL |
128 | Antonio Cerone |
Implementing Condition/Event Nets in the Circal Process Algebra. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
78 | Adam G. Dunn, George Milne |
Modelling Wildfire Dynamics via Interacting Automata. |
ACRI |
2004 |
DBLP DOI BibTeX RDF |
Modelling wildfire spread, Circal, cellular automata |
47 | Oliver Diessel, George J. Milne |
Behavioural Language Compilation with Virtual Hardware Management. |
FPL |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Antonio Cerone, George J. Milne |
A Methodology for the Formal Analysis of Asynchronous Micropipelines. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Cerone, Alex J. Cowie, George J. Milne |
The Circal System. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Cerone, George J. Milne |
Specification of Timing Constraints within the Circal Process Algebra. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley |
Modelling a Time-Dependent Protocol Using the Circal Process Algebra. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Khaled M. Elleithy, Alaaeldin A. M. Amin |
An Event Logic Architecture for CIRCAL Algorithms. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
34 | Andrew M. Bailey |
Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. |
CHARME |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Wolfgang Dolezol |
Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems. |
|
1989 |
RDF |
|
34 | George J. Milne |
Circal: A calculus for circuit description. |
Integr. |
1983 |
DBLP DOI BibTeX RDF |
|
34 | George J. Milne |
Description and Analysis Using Circal. |
The Analysis of Concurrent Systems |
1983 |
DBLP DOI BibTeX RDF |
|
31 | George J. Milne |
The Formal Description and Verification of Hardware Timing. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
hardware timing, CIRCAL, verification, finite state machines, logic design, finite automata, formal description, modeling framework, verification techniques |
23 | David F. J. George, Susan E. George |
Cellular Automata Cryptography Using Reconfigurable Computing. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Oliver Diessel, Usama Malik |
An FPGA Interpreter with Virtual Hardware Management. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Cerone |
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|