Search Results - "Synchronous concurrent algorithms"

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms by Thompson, B.C., Tucker, J.V., Zucker, J.I.

“…A synchronous concurrent algorithm (SCA) is a parallel deterministic algorithm based on a network of modules and channels, computing and communicating data in parallel, and synchronised by a global clock with discrete time…”
Get full text

Continuity of operators on continuous and discrete time streams by Tucker, J.V., Zucker, J.I.

“…We consider the semantics of networks processing streams of data from a complete metric space. We consider two types of data streams: those based on continuous…”
Get full text

Use of synchronous concurrent algorithms in the development of safety related software by Tacy, Adam James

“…This thesis investigates the use of Synchronous Concurrent Algorithms (SCAs) in the development of safety related software, where a stricter adherence to mathematical correctness is required…”
Get full text

A mathematical theory of synchronous concurrent algorithms by Thompson, B.C

“…A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicating processes or modules whose concurrent actions are synchronised with respect to a global clock…”
Get full text

Hierarchical reconstructions of cardiac tissue by Poole, M.J., Holden, A.V., Tucker, J.V.

“… We use a general theory of synchronous concurrent algorithms to model spatially extended biological systems, and expand the theory to create hierarchical models by relating observable behaviour at different levels…”
Get full text

Nonlinear science — The impact of biology by Holden, Arun V.

“…Nonlinear science has primarily developed from applications of mathematics to physics. The biological sciences are emerging as the dominant growth points of…”
Get full text

Coupled map lattices as computational systems by Holden, A. V., Tucker, J. V., Zhang, H., Poole, M. J.

“… Using the theory of synchronous concurrent algorithms, it is shown that the CML is a valid new model for a parallel deterministic analog machine, but that, in principle, such a CML computer does…”
Get more information

Reconstructing the heart by Holden, A.V., Poole, M.J., Tucker, J.V.

“… On making discrete approximations of continuous spaces and times, the range of diverse models of cardiac excitation are all examples of synchronous concurrent algorithms (SCAs…”
Get full text