Abstract
One important approach to high-performance computing has a (relatively) simple physical computer architecture emulate virtual algorithmic architectures (VAAs) that are highly optimized for important application domains. We expose the Cellular ANTomaton (CAnt) computing model—cellular automata enhanced with mobile FSMs (Ants)—as a highly efficient VAA for a variety of pattern-processing problems that are inspired by biocomputing applications. We illustrate the CAnt model via a scalable design for an \(n \times n\) CAnt that solves the following bio-inspired problem in linear time.
-
The Pattern-Assembly Problem.
-
Inputs: a length-n master pattern \(\varPi \) and r test patterns \(\pi _0, \ldots , \pi _{r-1}\), of respective lengths \(m_0 \ge \cdots \ge m_{r-1}\).
-
The problem: Find every sequence \(\langle \pi _{j_0}, \ldots , \pi _{j_{s-1}} \rangle \) of \(\pi _k\)’s, possibly with repetitions, that “assemble” (i.e., concatenate) to produce \(\varPi \); i.e., \(\pi _{j_0} \cdots \pi _{j_{s-1}} = \varPi \).
-
Timing: \(m_1 + \cdots + m_r + O(n)\) steps, with a quite-small big-O constant.
This research was supported in part by US NSF Grant CSR-1217981.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Annexstein, F., Baumslag, M., Rosenberg, A.L.: Group action graphs and parallel architectures. SIAM J. Comput. 19, 544–569 (1990)
Avis, D., Bremmer, D., Deza, A. (eds.): Polyhedral Computation. In: CRM Proceedings and Lecture Notes, vol. 48. American Mathematical Society (2009)
Böhringer, K.F.: Modeling and controlling parallel tasks in droplet-based microfluidic systems. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 25, 329–339 (2006)
Borchert, B., Reinhardt, K.: Deterministically and sudoku-deterministically recognizable picture languages. In: 2nd International Conference on Language and Automata Theory and Applications (2007)
Chen, L., Xu, X., Chen, Y., He, P.: A novel ant clustering algorithm based on cellular automata. In: IEEE/WIC/ACM International Conference, Intelligent Agent Technology (2004)
Chowdhury, D., Guttal, V., Nishinari, K., Schadschneider, A.: A cellular-automata model of flow in ant trails: non-monotonic variation of speed with density. J. Phys. A: Math. Gen. 35, L573–L577 (2002)
Fisher, A.L., Kung, H.T.: Synchronizing large VLSI processor arrays. IEEE Trans. Comput. C-34, 734–740 (1985)
Folcik, V.A., An, G.C., Orosz, C.G.: The basic immune simulator: an agent-based model to study the interactions between innate and adaptive immunity. Theor. Biol. Med. Model. 4, 39 (2007)
Folino, G., Mendicino, G., Senatore, A., Spezzano, G., Straface, S.: A model based on cellular automata for the parallel simulation of 3D unsaturated flow. Parallel Comput. 32, 357–376 (2006)
Goles, E., Martinez, S. (eds.): Cellular Automata and Complex Systems. Kluwer, Amsterdam (1999)
Gruska, J., Torre, S., Parente, M.: Optimal time and communication solutions of firing squad synchronization problems on square arrays, toruses and rings. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 200–211. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30550-7_17
Hu, X., Zhang, J., Li, Y.: Orthogonal methods based ant colony search for solving continuous optimization problems. J. Comput. Sci. Technol. 23, 2–18 (2008)
Laurio, K., Linaker, F., Narayanan, A.: Regular biosequence pattern matching with cellular automata. Inf. Sci. 146(1–4), 89–101 (2002)
Leighton, F.T.: Introduction to Parallel Algoithms and Architectures. Morgan Kaufmann Publ., San Mateo (1992)
Leiserson, C.E.: Systolic and semisystolic design. In: IEEE International Conference on Computer Design, pp. 627–630 (1983)
Marchese, F.: Cellular automata in robot path planning. In: EUROBOT 1996, pp. 116–125 (1996)
Moore, E.F.: The firing squad synchronization problem. In: Moore, E.F. (ed.) Sequential Machines, Selected Papers, pp. 213–214. Addison-Wesley (1962)
Quinton, P.: Automatic synthesis of systolic arrays from uniform recurrence equations. In: 11th IEEE International Symposium on Computer Architecture, pp. 208–214 (1984)
Rosenberg, A.L.: Better parallel architectures via emulations. In: Meyer, F., Monien, B., Rosenberg, A.L. (eds.) Nixdorf 1992. LNCS, vol. 678, pp. 30–36. Springer, Heidelberg (1993). doi:10.1007/3-540-56731-3_4
Rosenberg, A.L.: The Pillars of Computation Theory: State, Encoding, Nondeterminism. Universitext. Springer, New York (2009)
Rosenberg, A.L.: Cellular ANTomata. Adv. Complex Syst. 15(6) (2012). doi:10.1142/S0219525912500701
Rosenberg, A.L., Scarano, V., Sitaraman, R.K.: The reconfigurable ring of processors: efficient algorithms via hypercube simulation. Parallel Proc. Lett. 5, 37–48 (1995). (Special Issue on Dynamically Reconfigurable Architectures)
Sirakoulis, G., Adamatzky, A. (eds.): Robots and Lattice Automata. Emergence, Complexity and Computation, vol. 13. Springer, Switzerland (2014)
Spezzano, G., Talia, D.: The CARPET programming environment for solving scientific problems on parallel computers. Parallel Distr. Comput. Prac. 1, 49–61 (1998)
Ullman, J.D.: Computational Aspects of VLSI. Computer Science Press, Rockville (1984)
Williams, T.: Clock skew and other myths. In: IEEE International Symposium on Asynchronous Circuits and Systems (2003)
Wolfram, S. (ed.): Theory and Application of Cellular Automata. Addison-Wesley, Reading (1986)
(2011). http://thenoisychannel.com/2011/08/08/retiring-a-great-interview-problem
(2016). http://www.geeksforgeeks.org/dynamic-programming-set-32-word-break-problem
(2016). http://ideone.com/53LMkr
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Rosenberg, A.L. (2016). Cellular ANTomata as Engines for Highly Parallel Pattern Processing. In: Carretero, J., et al. Algorithms and Architectures for Parallel Processing. ICA3PP 2016. Lecture Notes in Computer Science(), vol 10049. Springer, Cham. https://doi.org/10.1007/978-3-319-49956-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-49956-7_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49955-0
Online ISBN: 978-3-319-49956-7
eBook Packages: Computer ScienceComputer Science (R0)