Lower bounds on the computational power of an optical model of computation

Natural Computing

Volumn 7, Issue 1, 2008, Pages 95-108

  Woods, Damien ^a   Gibson, J Paul ^b  

^a UNIVERSITY COLLEGE CORK   (Ireland)

^b INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER MODEL; COMPUTER PROGRAM; COMPUTER SYSTEM; CONFERENCE PAPER; DATA STORAGE DEVICE; FOURIER TRANSFORMATION; IMAGE PROCESSING; INFORMATION PROCESSING; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; MICROPROCESSOR; OPTICS; TIME;

EID: 39049086829     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-007-9039-7     Document Type: Conference Paper

References (28)

1. Arsenault HH, Sheng Y (1992) An introduction to optics in computers, volume TT 8 of Tutorial texts in optical engineering. SPIE
2. Balcázar JL, Díaz J, Gabarró J (1988) Structural complexity, vols I and II. EATCS monographs on theoretical computer science. Springer, Berlin
3. Caulfield HJ (1990) Space-time complexity in optical computing. In: Javidi B (ed) Optical information-processing systems and architectures II, vol 1347. SPIE, pp 566-572
4. Chandra AK, Stockmeyer LJ (1976) Alternation. In: 17th annual symposium on foundations of computer science. IEEE. Preliminary Version, Houston, Texas, pp 777-788
5. Feitelson DG (1988) Optical computing: A survey for computer scientists. MIT Press
6. Goldschlager LM (1977) Synchronous parallel computation. PhD thesis, University of Toronto, Computer Science Department
7. Goodman JW (1996) Introduction to Fourier optics, 2nd edn. McGraw-Hill, New York
8. Greenlaw R, Hoover HJ, Ruzzo WL (1995) Limits to parallel computation: P-completeness theory. Oxford university Press, Oxford
9. Karp RM, Ramachandran V (1990) Parallel algorithms for shared memory machines, vol A. Elsevier, Amsterdam
10. Lee JN (ed) (1995) Design issues in optical processing. Cambridge studies in modern optics. Cambridge University Press
11. Louri A, Post A (1992) Complexity analysis of optical-computing paradigms. Appl Opt 31(26):5568-5583
12. McAulay AD (1991) Optical computer architectures. Wiley
13. Naughton T, Javadpour Z, Keating J, Klíma M, Rott J (1999) General-purpose acousto-optic connectionist processor. Opt Eng 38(7):1170-1177
14. Naughton TJ (2000a) Continuous-space model of computation is Turing universal. In: Bains S, Irakliotis LJ (eds) Critical technologies for the future of computing, proceedings of SPIE, vol 4109. San Diego, California, pp 121-128
15. Naughton TJ (2000b) A model of computation for Fourier optical processors. In: Lessard RA, Galstian T (eds) Optics in computing 2000, Proc. SPIE, vol. 4089. Quebec, Canada, pp 24-34
16. Naughton TJ, Woods D (2001) On the computational power of a continuous-space optical model of computation. In: Margenstern M, Rogozhin Y (eds) Machines, computations and universality: Third international conference (MCU'01), vol 2055 of LNCS. Springer, Chişinǎu, Moldova, pp 288-299
17. Parberry I (1987) Parallel complexity theory. Wiley
18. Pratt VR, Rabin MO, Stockmeyer LJ (1974) A characterisation of the power of vector machines. In: Proc. 6th annual ACM symposium on theory of computing. ACM press, pp 122-134
19. Pratt VR, Stockmeyer LJ (1976) A characterisation of the power of vector machines. J Comput Syst Sci 12:198-221
20. Reif JH, Tyagi A (1997) Efficient parallel algorithms for optical computing with the discrete Fourier transform (DFT) primitive. Appl Opt 36(29):7327-7340
21. van Emde Boas P (1990) Machine models and simulations. In: Van Leeuwen J (ed) Handbook of theoretical computer science, vol A, chap 1. Elsevier, Amsterdam
22. VanderLugt A (1992) Optical signal processing. Wiley Series in Pure and Applied Optics. Wiley, New York
23. Woods D (2005a) Computational complexity of an optical model of computation. PhD thesis, National University of Ireland, Maynooth
24. Woods D (2005b) Upper bounds on the computational power of an optical model of computation. In: Deng X, Du D (eds) 16th international symposium on algorithms and computation (ISAAC 2005), vol 3827 of LNCS. Springer, Sanya, China, pp 777-788
25. Woods D, Gibson JP (2005a) Complexity of continuous space machine operations. In: Cooper SB, Löewe B, Torenvliet L (eds) New computational paradigms, First conference on computability in Europe (CiE 2005), vol 3526 of LNCS. Springer, Amsterdam, pp 540-551
26. Woods D, Gibson JP (2005b) Lower bounds on the computational power of an optical model of computation. In: Calude CS, Dinneen MJ, Pǎun G, Pérez-Jiménez MJ, Rozenberg G (eds) Fourth international conference on unconventional computation (UC'05), vol 3699 of LNCS. Springer, Sevilla, pp 237-250
27. Woods D, Naughton TJ (2005) An optical model of computation. Theor Comput Sci 334(1-3):227-258
28. Yu FTS, Jutamulia S, Yin S (eds) (2001) Introduction to information optics. Academic Press