This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
2001 | 2000 | 1999 | 1998A.C. Davies, I.G. Clark. "Asynchronous Communication without Waiting: from the Concept to the Hardware", Applied Electronics 2001 conference, Plzen, Czech Republic, 5-6 September 2001, pp 55-59. ISBN 80-7082-758-0. [pdf gzip'd (64KB)].
A.C. Davies. "Reasons, Protocols and Mechanisms for Communicating Asynchronously between Digital Processes", SCS 2001 (Int. Symp. On Signals, Circuits and Systems), Iasi, Romania, 10-12 July, 2001. Invited plenary lecture. pp1-8.
A. Yakovlev, F. Xia. "Towards synthesis of asynchronous communication algorithms", Workshop on Synthesis of Concurrent Systems, 22nd International conference on application and theory of Petri nets (ICATPN 2001) and 2nd International conference on applications of concurrency to system design (ICACSD 2001). Newcastle upon Tyne, UK, 25-29 June, 2001. pp 48-57. [postscript gzip'd (97KB)].
F. Xia, I.G. Clark. "Algorithms for Signal and Message asynchronous communication mechanisms and their analysis", 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001), Newcastle upon Tyne, UK, 25-29 June, 2001. pp65-74. IEEE Computer Society Press ISBN 0-7695-1071-X. [postscript gzip'd (69KB)].
D. Shang, F. Xia, A. Yakovlev. "Testing a self-timed asynchronous communication mechanism (ACM) VLSI chip", IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 2001, Gyor, Hungary, 18-20 April 2001. pp. 53-56. [postscript gzip'd (27KB)].
A. Yakovlev, F. Xia, D. Shang. "Synthesis and implementation of a signal-type asynchronous data communication mechanism", Seventh Int. Symp. on Asynchronous Circuits and Systems (Async'2001), March 2001, Salt Lake City, Utah. [pdf gzip'd (233KB)], [postscript gzip'd (128KB)].
A. Yakovlev, F. Xia, I. Clark. "Hets: towards harmonising time and power in systems on chip", First ACiD-WG Workshop of the European Commission's Fifth Framework Programme, Neuchatel, Switzerland, 12-13 February, 2001. [Complete program, abstracts and slides].
I.G. Clark, F. Xia, A. Yakovlev. "Modelling and analysis of asynchronous communication mechanisms", First ACiD-WG Workshop of the European Commission's Fifth Framework Programme, Neuchatel, Switzerland, 12-13 February, 2001. [Complete program, abstracts and slides].
D. Shang, F. Xia, A. Yakovlev. "Testing a self-timed asynchronous communication mechanism (ACM) VLSI chip", Proc. 9th Asynchronous UK Forum, Cambridge University, 18-19th December 2000. [postscript gzip'd (254KB)].
A. Madalinski, F. Xia, A. Yakovlev. "Relative data freshness of asynchronous communication mechanisms", Technical Report No. TR709, Dept. Computing Science, Newcastle University. August 2000. [postscript zip'd (110KB)].
D. Shang, F. Xia, A. Yakovlev. "An implementation of a three-slot asynchronous communication mechanism using self-timed circuits", Proc. AINT'2000 (Asynchronous Interfaces: Tools, Techniques and Implementations), 19 & 20th July 2000, TU Delft, The Netherlands.
I.G. Clark, A.C. Davies. "A comparison of some wait-free communications mechanisms", Proc. AINT'2000 (Asynchronous Interfaces: Tools, Techniques and Implementations), 19 & 20th July 2000, TU Delft, The Netherlands. [postscript gzip'd (48KB)].
A. Burns, A.J. Wellings, F. Burns, A.M. Koelmans, M. Koutny, A. Romanovsky, A.Yakovlev. "Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets", Proc. Workshop Software Engineering and Petri Nets, 21st Int. Conf. App. Theory of Petri Nets, Aarhus, Denmark, June 2000, pp. 115-134, Technical Report DAIMI PB - 548, Dept. of Computer Science, Univ. of Aarhus, ISSN 0105-8517.
J. Cortadella, L. Lavagno, A. Yakovlev. "Hardware Design and Petri nets, Advanced Tutorial on Hardware Design and Petri Nets", 21st Int. Conf. App. Theory of Petri Nets, Aarhus, Denmark, June 2000. [pdf (main part 1.5MB)] [pdf (section on performance analysis 724KB)].
A. Bystrov and A. Yakovlev. "Dynamic Priority Arbiter with FIFO", Proc. 8th Asynchronous UK Forum, South Bank University, London, June 2000.
I.G. Clark. "A unified approach to the study of asynchronous communication mechanisms in real time systems", Ph.D. Thesis, London University, King's College, May 2000. [postscript gzip'd (744KB)].
D. Shang, F. Xia, and A. Yakovlev. "A self-timed asynchronous data communication mechanism", Proc. 1st Annual Postgrad Symp. on Convergence of Telecommunications, Networking and Broadcasting (PGNET2000), Liverpool, John Moores University, EPSRC, pp. 170-176.
A. C. Davies. "Dynamic properties of a multiway arbiter", ISCAS 2000, IEEE International Symposium on Circuits and Systems, pp III 221-224, May 2000, Geneva, Switzerland. [pdf gzip'd (71KB)].
D. J. Kinniment, A.V. Yakovlev, and B. Gao. "Synchronous and Asynchronous A-D Conversion", IEEE Transactions on VLSI systems, Vol. 8 No. 2 Apr. 2000, pp. 217-219.
A. Bystrov, D.J. Kinniment, A. Yakovlev. "Priority Arbiters", Proc. Sixth Int. Symp. on Advanced Research in Asynchronous Circuits and Systems (Async'2000), April 2000, Eilat, Israel, IEEE Computer Society Press, pp. 128-137.[Powerpoint slides].
F. Xia, A. Yakovlev, D. Shang, A. Bystrov, A. Koelmans, D.J. Kinniment. "Asynchronous Communication Mechanisms Using Self-timed Circuits", Proc. Sixth Int. Symp. on Advanced Research in Asynchronous Circuits and Systems (Async'2000), April 2000, Eilat, Israel, IEEE Computer Society Press, pp. 150-159. [postscript gzip'd (283KB)].[Powerpoint slides].
A. Yakovlev, L. Gomes, L. Lavagno (Editors) "Hardware design and Petri nets", Kluwer Academic Publishers, 344 pages, ISBN 0-7923-7791-5. March 2000.
F. Xia, I. Clark. "Complementing role models with Petri nets in studying asynchronous data communications", pp33-50, Hardware design and Petri nets, Kluwer Academic Publishers, ISBN 0-7923-7791-5. March 2000. [postscript gzip'd (94KB)].
D. Kinniment. "Measurements on a high speed arbiter", Technical Report No. CS-TR-677, Department of Computing Science, University of Newcastle upon Tyne, Newcastle, UK. February 2000. [postscript gzip'd (150KB)].
F. Xia. "Supporting the MASCOT method with Petri net techniques for real-time systems development", Ph.D. Thesis, London University, King's College, January 2000. [postscript zip'd (654KB)].
A. Madalinski, F. Xia, A. Yakovlev. "Studying the data loss and data re-reading behaviour of a four-slot asynchronous communication mechanism using stochastic Petri net techniques", 7th UK Asynchronous Forum, 20-21st December 1999, University of Newcastle upon Tyne. [postscript gzip'd (64KB)].
F. Xia, A. Yakovlev, I. G. Clark. "Testing the data freshness properties of asynchronous communication mechanisms", 7th UK Asynchronous Forum, 20-21st December 1999, University of Newcastle upon Tyne. [postscript gzip'd (36KB)].
F. Xia, I. G. Clark. "Studying the three-slot asynchronous communication mechanism", 7th UK Asynchronous Forum, 20-21st December 1999, University of Newcastle upon Tyne. [postscript gzip'd (28KB)].
I. G. Clark. "Memory Optimisation for Multi-Process State Spaces", Technical Report No. CS-TR-689, Department of Computing Science, University of Newcastle upon Tyne, Newcastle, UK. December 1999. [postscript gzip'd (58KB)].
A. C. Davies. "Multi-Flops - A View of the Dynamical Behaviour." 7th International Specialist Workshop on NonLinear Dynamics of Electronic Subsystems (NDES'99), pp133-136, Ronne, Island of Bornholm, Denmark, 15-17th July 1999. [postscript gzip'd (71KB)].
F. Xia, D. Shang, A. Yakovlev, A. Koelmans. "An Asynchronous Communication Mechanism using self-timed circuits", 6th UK Asynchronous Forum, University of Manchester, 12-13th July 1999. [postscript gzip'd (98KB)].
A. Bystrov, D. Shang, F. Xia, A. Yakovlev. "Self-timed and speed independent latch circuits", 6th UK Asynchronous Forum, University of Manchester, 12-13th July 1999. [postscript gzip'd (79KB)].
A. C. Davies. "Metastability in Latches, Arbiters and Data-Convertors." Invited Paper, IEEE International Symposium on Signals, Circuits and Systems (SCS'99), pp1-4, Romania, July 6-7 1999. [postscript gzip'd (52KB)].
A. Yakovlev, L. Lavagno (Editors) Proceedings of the International Conference on Applications and Theory of Petri Nets (ICATPN'99) Workshop on Hardware Design and Petri Nets (HWPN'99), Williamsburg, June 1999.
A. Kondratyev, J. Cortadella, M. Kishinevsky, L. Lavagno, A. Yakovlev. "Logic decomposition of speed-independent circuits" (invited paper). Proceedings of IEEE, vol. 87, no.2, pp. 347-362, Feb. 1999.
M. Pietkiewicz-Koutney. "The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs", Fundamenta Informaticae 40, 1999, pp.251-283.
A. Yakovlev, D.J. Kinniment, F. Xia, A.M. Koelmans. "A FIFO buffer with non-blocking interface". Proc. 5th UK Asynchronous Forum, Computer Laboratory, University of Cambridge, December 1998. [postscript gzip'd (37KB)].
Fei Xia, Bin Liu. "Quantative investigation of certain properties of slot mechanisms". Proc. 5th UK Asynchronous Forum, Computer Laboratory, University of Cambridge, December 1998. [postscript gzip'd (66KB)].
A. Yakovlev, D.J. Kinniment, F.Xia, A.M. Koelmans. "A FIFO buffer with non-blocking interface", IEEE Computer Society TCVLSI Technical Bulletin, Fall 1998, pp. 11-14. [postscript gzip'd (37KB)].
Fei Xia, Ian Clark. "Complementing the role model method with Petri Net techniques in studying issues of data freshness of the four-slot mechanism", Technical Report No. TR654, Department of Computing Science, University of Newcastle upon Tyne, Newcastle, UK. October 1998. [postscript gzip'd (52KB)].
A.Yakovlev, D.J.Kinniment, F.Xia. "A FIFO buffer with real-time interface", Technical Report No. TR649, Department of Computing Science, University of Newcastle upon Tyne, Newcastle, UK. August 1998. [postscript gzip'd (65KB)].
A. Yakovlev, L. Gomes (Editors) Proceedings of the International Conference on Applications and Theory of Petri Nets (ICATPN'98) Workshop on Hardware Design and Petri Nets (HWPN'98), Lisbon, Portugal, 23rd June 1998.
Fei Xia, Ian Clark. "Complementing role models with Petri nets in studying asynchronous data communications", Workshop on Hardware Design and Petri Nets (HWPN'98), pp. 66--85, 19th International Conference on Applications and Theory of Petri nets. Hotel Costa da Caparica, Lisbon, Portugal, 23rd June 1998. [postscript gzip'd (99KB)].
I.G.Clark, F.Xia, A.V.Yakovlev, A.C.Davies. "Petri net models of latch metastability", IEE Electronics Letters, Vol. 34, No. 7, pp. 635--636, April 1998. (Electronics Letters Online Number 19980502).
D.J. Kinniment, B. Gao, A.V. Yakovlev, F. Xia. "Towards Asynchronous A-D Conversion", Proc. Fourth Int. Symp. on Advanced Research in Asynchronous Circuits and Systems (Async'98), March 30 - April 2 1998, San Diego, CA, IEEE Computer Society Press.