Proceedings of the 6th International Workshop on Field-Programmable Logic and Applications, FPL 1997 held in London, UK September 1997. Published in the series Lecture Notes in Computer Science, number 1304.

Steven Guccione / guccione@NOSPAM.io.com

[Abramovici and Saab, 1997]

Miron Abramovici and Daniel Saab. Satisfiability on reconfigurable hardware. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 448-456. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Acock and Dimond, 1997]

S. J. B. Acock and K. R. Dimond. Automatic mapping of algorithms onto multiple FPGA-SRAM modules. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 255-264. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Betz and Rose, 1997]

Vaughn Betz and Jonathan Rose. VPR: A new packing, placement and routing tool for FPGA research. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 213-222. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Boemo and López-Buedo, 1997]

Eduardo Boemo and Sergio López-Buedo. Thermal monitoring on FPGAs using ring-oscillators. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 69-78. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Bramer et al., 1997]

B. Bramer, D. Chauham, M.K. Ibrahim, and A. Aggoun. Virtual radix array processors (V-RaAP). In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 354-363. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Brebner, 1997]

Gordon Brebner. Automatic identification of swappable logic units in XC6200 circuitry. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 173-182. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Chaudhuri et al., 1997]

Anjit Sekhar Chaudhuri, Peter Y. K. Cheung, and Wayne Luk. A reconfigurable data-localised array for morphological algorithms. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 344-353. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Chichkov and Almeida, 1997]

Anton Velinov Chichkov and Carlos Beltrán Almeida. A hardware/software partitioning algorithm for custom computing machines. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 274-283. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Dandalis and Prasanna, 1997]

Andreas Dandalis and Viktor K. Prasanna. Fast parallel implementation of DFT using configurable devices. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 314-323. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Diessel and ElGindy, 1997]

Oliver Diessel and Hossam ElGindy. Run-time compaction of FPGA designs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 131-140. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Do et al., 1997]

T.-T. Do, H. Kropp, M. Schwiegershausen, and P. Pirsch. Implementation of pipelined multipliers on Xilinx FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 51-60. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Dunn and Corke, 1997]

Paul Dunn and Peter Corke. Real-time stereopsis using FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 400-409. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Emmert and Bhatia, 1997]

John M. Emmert and Dinesh Bhatia. Partial reconfiguration of FPGA mapped designs with applications to fault tolerance and yield enhancement. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 141-150. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Faura et al., 1997]

Julio Faura, Juan Manuel Moreno, Migues Angel Aguirre, Phuoc van Duong, and Josep Maria Insenser. Multicontext dynamic reconfiguration and real-time probing on a novel mixed signal programmable device with on-chip microprocessor. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 1-10. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Feske et al., 1997]

Klaus Feske, Sven Mulka, Manfred Koegst, and Günter Elst. Technology-driven FSM partitioning for synthesis of large sequential circuits targeting lookup-table based FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 235-244. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Greenfield et al., 1997]

David Greenfield, Caleb Crome, Martin S. Won, and Doug Amos. Enhancing fixed point DSP processor performance by adding CPLDs as coprocessing elements. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 324-332. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Hadzic and Smith, 1997]

Ilija Hadzic and Jonathan M. Smith. P4: A platform for FPGA implementation of protocol boosters. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 438-447. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Hartenstein et al., 1997]

R.W. Hartenstein, J. Becker, M. Herz, and U. Nageldinger. Data scheduling to increase performance of parallel accelerators. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 294-303. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Hollstein et al., 1997]

Thomas Hollstein, Andreas Kirschbaum, and Manfred Glesner. A prototyping environment for fuzzy controllers. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 482-490. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Hutchings, 1997]

Brad L. Hutchings. Exploiting reconfigurability through domain-specific systems. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 193-202. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Inuani and Saul, 1997]

Maurce Kilavuka Inuani and Jonathan Saul. Technology mapping of heterogeneous LUT-based FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 223-234. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Jebelean, 1997]

Tudor Jebelean. Auto-configurable array for GCD computation. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 457-461. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Jong et al., 1997]

C. C. Jong, Y. Y. H. Lam, and L. S. Ng. FPGA implementation of a digital IQ demodulator using VHDL. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 410-417. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Kahne and Athanas, 1997]

Brian Kahne and Peter Athanas. Stream synthesis for a wormhole run-time reconfigurable platform. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 101-110. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Kean and Duncan, 1997]

Tom Kean and Ann Duncan. A 800 Mpixel/sec reconfigurable image correlator on XC6216. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 382-391. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Kostarnov et al., 1997]

Igor Kostarnov, Steve Morley, Javed Osmany, and Charlie Solomon. A reconfigurable approach to low cost media processing. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 79-90. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Kress et al., 1997]

Rainer Kress, Reiner W. Hartenstein, and Ulrich Nageldinger. An operating system for custom computing machines based on the Xputer paradigm. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 304-313. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Laurent et al., 1997]

B. Laurent, G. Bosco, and G. Saucier. Structural versus algorithmic approaches for efficient adders on Xilinx 5200 FPGA. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 462-471. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Lechner and Guccione, 1997]

Eric Lechner and Steven A. Guccione. The Java environment for reconfigurable computing. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 284-293. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Leeser et al., 1997]

Miriam Leeser, Waleed M. Meleis, Mankuan M. Vai, and Paul Zavracky. Rothko: A three dimensional FPGA architecture, its fabrication, and design tools. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 21-30. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Leonard and Mangione-Smith, 1997]

Jason Leonard and William H. Mangione-Smith. A case study of partially evaluated hardware circuits: Key-specific DES. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 151-160. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Lin et al., 1997]

Xiaochun Lin, Erik Dagless, and Aiguo Lu. Technology mapping of LUT based FPGAs for delay optimisation. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 245-254. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Lisa et al., 1997]

Ferran Lisa, Faustino Cuadrado, Delores Rexachs, and Jordi Carrabina. A reconfigurable coprocessor for a PCI-based real time computer vision system. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 392-399. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Luk et al., 1997a]

W. Luk, N. Shirazi, S. R. Guo, and P. Y. K. Cheung. Pipeline morphing and virtual pipelines. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 111-120. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Luk et al., 1997b]

Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors. Field-Programmable Logic and Applications. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Lysaght, 1997]

Patrick Lysaght. Towards an expert system for a priori estimation of reconfiguration latency in dynamically reconfigurable logic. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 183-192. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Mackinlay et al., 1997]

Patrick I. Mackinlay, Peter Y. K. Cheung, Wayne Luk, and Richard Sandiford. Riley-2: A flexible platform for codesign and dynamic reconfigurable computing research. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 91-100. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Mathews et al., 1997]

T. Mathews, S.G. Gibb, L.E. Turner, P. J. W. Graumann, and M. Fattouche. An FPGA implementation of a matched filter detector for spread spectrum communications systems. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 364-373. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Maunder et al., 1997]

R. Bruce Maunder, Zoran A. Salcic, and George G. Coghill. FPLD HDL synthesis employing high-level evolutionary algorithm optimisation. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 265-273. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[McGregor and Lysaght, 1997]

Gordon McGregor and Patrick Lysaght. Extending dynamic circuit switching to meet the challenges of new FPGA architectures. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 31-40. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Miyazaki et al., 1997]

Toshiaki Miyazaki, Atsushi Takahara, Masaru Katayama, Takahiro Murooka, Takaki Ichimori, Kennosuke Fukami, Akihiro Tsutsui, and Kazuhiro Hayashi. CAD-oriented FPGA annd dedicated CAD system for telecommunications. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 11-20. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Nisbet and Guccione, 1997]

Stuart Nisbet and Steven A. Guccione. The XC6200DS development system. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 61-68. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Nukata et al., 1997]

Kazumasa Nukata, Yuichiro Shibata, Hideharu Amano, and Yuichiro Anzai. A reconfigurable sensor-data processing system for personal robots. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 491-500. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Page, 1997]

Ian Page. Hardware compilation, configurable platforms and ASICs for self-validating sensors. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 418-427. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Payne, 1997]

Rob Payne. Run-time parameterised circuits for the Xilinx XC6200. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 161-172. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Rising et al., 1997]

Barry Rising, Max van Daalen, Peter Burge, and John Shawe-Taylor. Parallel graph colouring using FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 121-130. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Robinson et al., 1997]

David Robinson, Patrick Lysaght, Gordon McGregor, and Hugh Dick. Performance evaluation of a full speed PCI initiator and target subsystem using FPGAs. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 41-50. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Servit and Yi, 1997]

Michal Z. Servit and Kang Yi. Technology mapping by binate covering. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 203-212. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Shand, 1997]

Mark Shand. A case study of algorithm implementation in reconfigurable hardware and software. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 333-343. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Singh et al., 1997]

Satnam Singh, John Patterson, Jim Burns, and Michael Dales. PostScript rendering with virtual hardware. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 428-437. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Teerapanyawatt and Athikulwongse, 1997]

Sayan Teerapanyawatt and Krit Athikulwongse. An NTSC and PAL closed caption processor. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 374-381. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.

[Tisserand and Dimmler, 1997]

Arnaud Tisserand and Martin Dimmler. FPGA implementation of real-time digital controllers using on-line arithmetic. In Wayne Luk, Peter Y. K. Cheung, and Manfred Glesner, editors, Field-Programmable Logic and Applications, pages 472-481. Springer-Verlag, Berlin, September 1997. Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications, FPL 1997. Lecture Notes in Computer Science 1304.