Abstract
As any other scientific discipline, computing science is undergoing a continuous process of transformations and innovations driven by theoretical research and technological advancements. Inspired by physical and biological phenomena occurring in nature, new computational models are proposed, with the potential to greatly increase the efficiency of computational processes. Another direction of development pertains to the characteristics of the problems tackled by computing science. With the increasingly ubiquitous and pervasive nature of computers in the modern society, the class of problems and applications computing science has to address is continuously expanding.
The importance played by parallelism in each of these two major development trends confirms the fundamental role parallel processing continues to occupy in the theory of computing. The idea of massive parallelism permeates virtually all unconventional models of computation proposed to date and this is shown here through examples such as DNA computing, quantum computing or reaction–diffusion computers. Even a model that is mainly of theoretical interest, like the accelerating machine, can be thought of as deriving its power from doubling the number of processing units (operating in parallel) at each step.
The scope of computing science has expanded enormously from its modest boundaries formulated at the inception of the field and many of the unconventional problems we encounter today in this area are inherently parallel.We illustrate this by presenting five examples of tasks in quantum information processing that can only be carried out successfully through a parallel approach. It is one more testimony to the fact that parallelism is universally applicable and that the future of computing cannot be conceived without parallel processing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Păun, G. Rozenberg, A. Salomaa, DNA Computing – New Computing Paradigms, Springer (1998).
L. Adleman, Molecular computation of solutions to combinatorial problems, Science 266 (1994) 1021–1024.
R. J. Lipton, DNA solution of hard computational problems, Science 268 (5210) (1995) 542– 545.
W.-L. Chang, M. Guo, J. Wu, Solving the independent-set problem in a DNA-based supercomputer model, Parallel Processing Letters 15 (4) (2005) 469–479.
G. Păun, Computing with membranes, Journal of Computer and System Sciences 61 (1) (2000) 108–143.
M. Pérez-Jiménez, A. Riscos-Núñez, A linear solution for the knapsack problem using active membranes, in: Membrane Computing. Lecture Notes in Computer Science, Vol. 2933, Springer (2004) pp. 250–268.
G. Păun, P systems with active membranes: Attacking NP-complete problems, Journal of Automata, Languages, Combinatorics 6 (1) (2001) 5–90.
C. Zandron, C. Ferretti, G. Mauri, Solving NP-complete problems using P systems with active membranes, in: I. Antoniou, C. Calude, M. Dinneen (Eds.), Unconventional Models of Computation, Springer, London (2000) pp. 289–301, dISCO – Universita di Milano-Bicocca, Italy.
P. W. Shor, Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, Special issue on Quantum Computation of the SIAM Journal on Computing 26 (5) (1997) 1484–1509.
L. M. K. Vandersypen, M. Steffen, G. Breyta, C. S. Yannoni, M. H. Sherwood, I. L. Chuang, Experimental realization of Shor’s quantum factoring algorithm using nuclear magnetic resonance, Nature 414 (2001) 829–938.
Y. S. Weinstein, et al., Quantum process tomography of the quantum fourier transform, Journal of Chemical Physics 121 (13) (2004) 6117–6133, http: //arxiv.org/abs/ quant-ph/0406239v1.
J. Chiaverini, et al., Implementation of the semiclassical quantum fourier transform in a scalable system, Science 308 (5724) (2005) 997–1000.
A. Adamatzky, B. D. L. Costello, T. Asai, Reaction-Diffusion Computers, Elsevier, 2005.
R. Fraser, S. G. Akl, Accelerating machines: A review, International Journal of Parallel, Emergent and Distributed Systems 23 (1) (2008) 81–104.
N. D. Mermin, From Cbits to Qbits: Teaching Computer Scientists Quantum Mechanics, http://arxiv.org/abs/quant-ph/0207118 (July 2002).
E. Rieffel, W. Polak, An introduction to quantum computing for non-physicists, ACM Computing Surveys 32 (3) (2000) 300–335.
M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000).
M. Hirvensalo, Quantum Computing, Springer-Verlag (2001).
A. Berthiaume, Quantum computation, in: L. A. Hemaspaandra, A. L. Selman (Eds.), Complexity Theory Retrospective II, Springer-Verlag, New York (1997) pp. 23–51.
R. Feynman, R. B. Leighton, M. Sands, The Feynman Lectures on Physics, Vol. III, Addison- Wesley, Reading, Mass. (1965).
C. Santori, et al., Indistinguishable photons from a single-photon device, Nature 419 (2002) 594–597.
E. H. Knill, R. Laflamme, G. J. Milburn, A scheme for efficient quantum computation with linear optics, Nature 409 (2001) 46–52.
P. Dirac, The Principles of Quantum Mechanics, 4th Edition, Oxford University Press, 1958.
E. W. Weisstein, et al., Bloch sphere, From MathWorld– A Wolfram Web Resource, http://mathworld.wolfram.com/BlochSphere.html.
W. K.Wootters,W. H. Zurek, A single quantum cannot be cloned, Nature 299 (1982) 802–803.
A. Barenco, A universal two-bit gate for quantum computation, Proceedings of the Royal Society of London A 449 (1995) 679–683.
D. DiVincenzo, Two-bit gates are universal for quantum computation, Physical Review A 51 (1995) 1015–1022.
E. Schrödinger, Discussion of probability relations between separated systems, Proceedings of the Cambridge Philosophical Society 31 (1935) 555–563.
A. Einstein, B. Podolsky, N. Rosen, Can quantum-mechanical description of physical reality be considered complete?, Physical Review 47 (1935) 777–780.
A. Berthiaume, G. Brassard, Oracle quantum computing, Journal of Modern Optics 41 (12) (1994) 2521–2535.
S. Robinson, Emerging insights on limitations of quantum computing shape quest for fast algorithms, SIAM News 36 (1) (2003).
J. W. Cooley, J. Tukey, An algorithm for the machine calculation of complex fourier series, Mathematics of Computation 19 (1965) 297–301.
D. Coppersmith, An approximate fourier transform useful in quantum factoring, Technical Report RC19642, IBM (1994).
R. Griffiths, C.-S. Niu, Semiclassical Fourier transform for quantum computation, Physical Review Letters 76 (1996) 3228–3231.
M. Nagy, S. G. Akl, S. Kershaw, Key distribution based on the quantum Fourier transform, in: Proceedings of the International Conference on Security and Cryptography (SECRYPT 2008), Porto, Portugal (2008) pp. 263–269.
C. Cohen-Tannoudji, B. Diu, F. Laloe, Quantum Mechanics, Vols. 1 and 2, Wiley, New York (1977).
Y. S. Weinstein, et al., Implementation of the quantum fourier transform, Physical Review Letters 86 (9) (2001) 1889–1891.
J. Preskill, Fault-tolerant quantum computation, in: H.-K. Lo, S. Popescu, T. Spiller (Eds.), Introduction to Quantum Computation and Information,World Scientific (1998) pp. 213–269, http://xxx.lanl.gov/abs/quant-ph/9712048.
P.W. Shor, Scheme for reducing decoherence in quantum computer memory, Physical Review A 52 (1995) 2493–2496.
A. M. Steane, Error correcting codes in quantum theory, Physical Review Letters 77 (5) (1996) 793–797.
C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, W. K. Wootters, Mixed state entanglement and quantum error correction, Physical Review A 54 (1996) 3824–3851, http://arxiv.org/abs/quant-ph/9604024.
R. Laflamme, C. Miquel, J. P. Paz, W. H. Zurek, Perfect Quantum Error Correction Code, http://arxiv.org/abs/quant-ph/9602019 (February 1996).
A. R. Calderbank, P. W. Shor, Good quantum error-correcting codes exist, Physical Review A 54 (2) (1996) 1098–1106, http://arxiv.org/abs/quant-ph/9512032.
A. M. Steane, Multiple particle interference and quantum error correction, Proceedings of the Royal Society of London A 452 (1996) 2551–2576.
D. Gottesman, Class of quantum error-correcting codes saturating the quantum hamming bound, Physical Review A 54 (1996) 1862–1868, http://arxiv.org/abs/quant-ph/9604038.
A. Ekert, C. Macchiavello, Quantum error correction for communication, Physical Review Letters 77 (1996) 2585–2588.
J. Preskill, Reliable quantum computers, Proceedings of the Royal Society of London A 454 (1998) 385–410, http://xxx.lanl.gov/abs/quant-ph/9705031.
A. Berthiaume, D. Deutsch, R. Jozsa, The stabilization of quantum computation, in: Proceedings of the Workshop on Physics and Computation: PhysComp ’94, IEEE Computer Society Press, Los Alamitos, CA (1994) pp. 60–62.
A. Barenco, A. Berthiaume, D. Deutsch, A. Ekert, R. Jozsa, C. Macchiavello, Stabilization of Quantum Computations by Symmetrization, http://xxx.lanl.gov/abs/quant-ph/9604028 (April 1996).
A. Peres, Error Symmetrization in Quantum Computers, http://xxx.lanl.gov/abs/quant-ph/9605009 (May 1996).
S. G. Akl, Evolving computational systems, in: S. Rajasekaran, J. H. Reif (Eds.), Parallel Computing: Models, Algorithms, and Applications, CRC Press (2007) a modified version is available as Technical Report No. 2006-526, School of Computing, Queen’s University, Kingston, Ontario, Canada.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Akl, S.G., Nagy, M. (2009). The Future of Parallel Computation. In: Trobec, R., Vajteršic, M., Zinterhof, P. (eds) Parallel Computing. Springer, London. https://doi.org/10.1007/978-1-84882-409-6_15
Download citation
DOI: https://doi.org/10.1007/978-1-84882-409-6_15
Publisher Name: Springer, London
Print ISBN: 978-1-84882-408-9
Online ISBN: 978-1-84882-409-6
eBook Packages: Computer ScienceComputer Science (R0)