Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: George J. Milne
@article{DBLP:journals/isse/CeroneM05, author = {Antonio Cerone and George J. Milne}, title = {Property verification of asynchronous systems}, journal = {Innov. Syst. Softw. Eng.}, volume = {1}, number = {1}, pages = {25--40}, year = {2005}, url = {https://doi.org/10.1007/s11334-005-0002-4}, doi = {10.1007/S11334-005-0002-4}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/CeroneM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/LeeM05, author = {Gareth Lee and George J. Milne}, title = {Programming paradigms for reconfigurable computing}, journal = {Microprocess. Microsystems}, volume = {29}, number = {10}, pages = {435--450}, year = {2005}, url = {https://doi.org/10.1016/j.micpro.2005.01.002}, doi = {10.1016/J.MICPRO.2005.01.002}, timestamp = {Wed, 11 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/LeeM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/KelsoM05, author = {Joel Kelso and George J. Milne}, editor = {Farn Wang}, title = {Properties as Processes: Their Specification and Verification}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3731}, pages = {503--517}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562436\_36}, doi = {10.1007/11562436\_36}, timestamp = {Wed, 11 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/KelsoM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Milne06, author = {George J. Milne}, editor = {Luca Aceto and Andrew D. Gordon}, title = {Modelling Dynamically Changing Hardware Structure}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi", {APC} 25, Bertinoro, Italy, August 1-5, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {162}, pages = {249--254}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.12.091}, doi = {10.1016/J.ENTCS.2005.12.091}, timestamp = {Fri, 20 Jan 2023 12:38:53 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Milne06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/LeeM03, author = {Gareth Lee and George J. Milne}, editor = {Peter Y. K. Cheung and George A. Constantinides and Jos{\'{e}} T. de Sousa}, title = {Building Run-Time Reconfigurable Systems from Tiles}, booktitle = {Field Programmable Logic and Application, 13th International Conference, {FPL} 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2778}, pages = {252--261}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45234-8\_25}, doi = {10.1007/978-3-540-45234-8\_25}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fpl/LeeM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/LeeM02, author = {Gareth Lee and George J. Milne}, title = {A methodology for design of run-time reconfigurable systems}, booktitle = {Proceedings of the 2002 {IEEE} International Conference on Field-Programmable Technology, {FPT} 2002, Hong Kong, China, December 16-18, 2002}, pages = {60--67}, publisher = {{IEEE}}, year = {2002}, url = {https://doi.org/10.1109/FPT.2002.1188665}, doi = {10.1109/FPT.2002.1188665}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fpt/LeeM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/CeroneM00, author = {Antonio Cerone and George J. Milne}, editor = {Warren A. Hunt Jr. and Steven D. Johnson}, title = {A Methodology for the Formal Analysis of Asynchronous Micropipelines}, booktitle = {Formal Methods in Computer-Aided Design, Third International Conference, {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1954}, pages = {246--262}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40922-X\_16}, doi = {10.1007/3-540-40922-X\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/CeroneM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/ZhuM00, author = {Jihan Zhu and George J. Milne}, editor = {Reiner W. Hartenstein and Herbert Gr{\"{u}}nbacher}, title = {Implementing Kak Neural Networks on a Reconfigurable Computing Platform}, booktitle = {Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, {FPL} 2000, Villach, Austria, August 27-30, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1896}, pages = {260--269}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44614-1\_29}, doi = {10.1007/3-540-44614-1\_29}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/fpl/ZhuM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/DiesselM00, author = {Oliver Diessel and George J. Milne}, editor = {Reiner W. Hartenstein and Herbert Gr{\"{u}}nbacher}, title = {Behavioural Language Compilation with Virtual Hardware Management}, booktitle = {Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, {FPL} 2000, Villach, Austria, August 27-30, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1896}, pages = {707--717}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44614-1\_75}, doi = {10.1007/3-540-44614-1\_75}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fpl/DiesselM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/DiesselM00, author = {Oliver Diessel and George J. Milne}, editor = {Jos{\'{e}} D. P. Rolim}, title = {Compiling Process Algebraic Descriptions into Reconfigurable Logic}, booktitle = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1800}, pages = {916--923}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45591-4\_126}, doi = {10.1007/3-540-45591-4\_126}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ipps/DiesselM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eh/Milne99, author = {George J. Milne}, title = {A Model for Dynamic Adaptation in Reconfigurable Hardware Systems}, booktitle = {1st {NASA} / DoD Workshop on Evolvable Hardware {(EH} '99), July 19-21, 1999, Pasadena, CA, {USA}}, pages = {161--169}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/EH.1999.785448}, doi = {10.1109/EH.1999.785448}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eh/Milne99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/CeroneKM98, author = {Antonio Cerone and David A. Kearney and George J. Milne}, title = {Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems}, booktitle = {1st International Conference on Application of Concurrency to System Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan}, pages = {109--119}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/CSD.1998.657544}, doi = {10.1109/CSD.1998.657544}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/CeroneKM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/CeroneM97, author = {Antonio Cerone and George J. Milne}, editor = {Michael Johnson}, title = {Specification of Timing Constraints within the Circal Process Algebra}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {108--122}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000466}, doi = {10.1007/BFB0000466}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/CeroneM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/CeroneCM97, author = {Antonio Cerone and Alex J. Cowie and George J. Milne}, editor = {Michael Johnson}, title = {The Circal System}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {563--564}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000498}, doi = {10.1007/BFB0000498}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/CeroneCM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipc/Milne97, author = {George J. Milne}, title = {Reconfigurable custom computing as a supercomputer replacement}, booktitle = {Proceedings of the Fourth International on High-Performance Computing, HiPC 1997, Bangalore, India, 18-21 December, 1997}, pages = {260--269}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/HIPC.1997.634501}, doi = {10.1109/HIPC.1997.634501}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hipc/Milne97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/CeroneCMM97, author = {Antonio Cerone and Alex J. Cowie and George J. Milne and Philip A. Moseley}, editor = {Oded Maler}, title = {Modelling a Time-Dependent Protocol Using the Circal Process Algebra}, booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1201}, pages = {124--138}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0014721}, doi = {10.1007/BFB0014721}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/CeroneCMM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compcon/BuddM96, author = {Graham Budd and George J. Milne}, title = {{ARM7100} - {A} High-Integration, Low-Power Microcontroller for {PDA} Applications}, booktitle = {Forty-First {IEEE} Computer Society International Conference: Technologies for the Information Superhighway, {COMPCON} 1996, Santa Clara, California, USA, February 25-28, 1996, Digest of Papers}, pages = {182--187}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/CMPCON.1996.501766}, doi = {10.1109/CMPCON.1996.501766}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compcon/BuddM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BaileyMM94, author = {Andrew M. Bailey and George Alexander McCaskill and George J. Milne}, title = {An Exercise in the Automatic Verification of Asynchronous Designs}, journal = {Formal Methods Syst. Des.}, volume = {4}, number = {3}, pages = {213--242}, year = {1994}, url = {https://doi.org/10.1007/BF01384047}, doi = {10.1007/BF01384047}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BaileyMM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/charme/1993, editor = {George J. Milne and Laurence Pierre}, title = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5 Advanced Research Working Conference, {CHARME} '93, Arles, France, May 24-26, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {683}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0021709}, doi = {10.1007/BFB0021709}, isbn = {3-540-56778-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/charme/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/BarrieCMS92, author = {Peter Barrie and Paul Cockshott and George J. Milne and Paul Shaw}, title = {Design and verification of a highly concurrent machine}, journal = {Microprocess. Microsystems}, volume = {16}, number = {3}, pages = {115--123}, year = {1992}, url = {https://doi.org/10.1016/0141-9331(92)90034-Q}, doi = {10.1016/0141-9331(92)90034-Q}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/BarrieCMS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpga/ShawM92, author = {Paul Shaw and George J. Milne}, editor = {Herbert Gr{\"{u}}nbacher and Reiner W. Hartenstein}, title = {A Highly Parallel FPL-Based Machine and Its Formal Verification}, booktitle = {Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {705}, pages = {162--173}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-57091-8\_41}, doi = {10.1007/3-540-57091-8\_41}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fpga/ShawM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Milne91, author = {George J. Milne}, title = {The Formal Description and Verification of Hardware Timing}, journal = {{IEEE} Trans. Computers}, volume = {40}, number = {7}, pages = {811--826}, year = {1991}, url = {https://doi.org/10.1109/12.83619}, doi = {10.1109/12.83619}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/Milne91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/MaoM91, author = {Wenbo Mao and George J. Milne}, editor = {Kim Guldstrand Larsen and Arne Skou}, title = {An Automated Proof Technique for Finite-State Machine Equivalence}, booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {575}, pages = {233--243}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55179-4\_23}, doi = {10.1007/3-540-55179-4\_23}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/MaoM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/msiw/Milne89, author = {George J. Milne}, editor = {Miriam Leeser and Geoffrey Brown}, title = {Design for Verifiability}, booktitle = {Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {408}, pages = {1--13}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/0-387-97226-9\_20}, doi = {10.1007/0-387-97226-9\_20}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/msiw/Milne89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/Milne85, author = {George J. Milne}, title = {Circal and the Representation of Communication, Concurrency, and Time}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {7}, number = {2}, pages = {270--298}, year = {1985}, url = {https://doi.org/10.1145/3318.3322}, doi = {10.1145/3318.3322}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/Milne85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/Milne84, author = {George J. Milne}, editor = {Patricia H. Lambert and Hillel Ofek and Lawrence A. O'Neill and Pat O. Pistilli and Paul Losleben and J. Daniel Nash and Dennis W. Shaklee and Bryan T. Preas and Harvey N. Lerman}, title = {A model for hardware description and verification}, booktitle = {Proceedings of the 21st Design Automation Conference, {DAC} '84, Albuquerque, New Mexico, June 25-27, 1984}, pages = {251--257}, publisher = {{ACM/IEEE}}, year = {1984}, url = {http://dl.acm.org/citation.cfm?id=800804}, timestamp = {Thu, 12 Aug 2021 08:58:02 +0200}, biburl = {https://dblp.org/rec/conf/dac/Milne84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/integration/Milne83, author = {George J. Milne}, title = {Circal: {A} calculus for circuit description}, journal = {Integr.}, volume = {1}, number = {2-3}, pages = {121--160}, year = {1983}, url = {https://doi.org/10.1016/S0167-9260(83)80017-0}, doi = {10.1016/S0167-9260(83)80017-0}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/Milne83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acs/Milne83, author = {George J. Milne}, editor = {B. Tim Denvir and W. T. Harwood and M. I. Jackson and M. J. Wray}, title = {Description and Analysis Using Circal}, booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {207}, pages = {293--313}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/3-540-16047-7\_53}, doi = {10.1007/3-540-16047-7\_53}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/acs/Milne83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/Milne82, author = {George J. Milne}, title = {Abstraction and Nondeterminism in Concurrent Systems}, booktitle = {Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982}, pages = {358--364}, publisher = {{IEEE} Computer Society}, year = {1982}, timestamp = {Wed, 21 Sep 2005 15:11:36 +0200}, biburl = {https://dblp.org/rec/conf/icdcs/Milne82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/MilneM79, author = {George J. Milne and Robin Milner}, title = {Concurrent Processes and Their Syntax}, journal = {J. {ACM}}, volume = {26}, number = {2}, pages = {302--321}, year = {1979}, url = {https://doi.org/10.1145/322123.322134}, doi = {10.1145/322123.322134}, timestamp = {Wed, 11 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/MilneM79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Milne77, author = {George J. Milne}, title = {Mathematical model of concurrent computation}, school = {University of Edinburgh, {UK}}, year = {1977}, url = {https://hdl.handle.net/1842/11169}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Milne77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.