Výsledky vyhledávání - "Synchronous concurrent algorithms"

Use of synchronous concurrent algorithms in the development of safety related software

Autoři: Tacy, Adam James

Témata: 005.3

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.639148

Synchronous concurrent algorithms and dynamical systems

Autoři: Poole, M. J.

Témata: 519

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638547

Infinite synchronous concurrent algorithms and architectures

Autoři: McConnell, B. R. J.

Témata: 519

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638150

Formal specification and verification of synchronous concurrent algorithms

Autoři: Hobley, Keith Michael

Témata: 005, Parallel computing

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.277609

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Autoři: B. C. Thompson John V. Tucker Jeffery I. Zucker

Zdroj: Applied Mathematics and Computation. 215:1386-1403

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://core.ac.uk/display/78841092
https://dblp.uni-trier.de/db/journals/amc/amc215.html#ThompsonTZ09
https://www.sciencedirect.com/science/article/pii/S0096300309004184
http://www.cas.mcmaster.ca/%7Ezucker/Pubs/SCA/AMC/tx.pdf
https://cronfa.swan.ac.uk/Record/cronfa147
https://cronfa.swan.ac.uk/Record/cronfa147

Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture

Autoři: John V. Tucker V. Stavridou S. M. Eker

Zdroj: Workshops in Computing ISBN: 9783540196594

Přístupová URL adresa: https://link.springer.com/chapter/10.1007%2F978-1-4471-3544-9_13
https://rd.springer.com/chapter/10.1007/978-1-4471-3544-9_13
https://link.springer.com/10.1007/978-1-4471-3544-9_13

Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

Autoři: Arun V. Holden John V. Tucker Matthew Poole

Zdroj: Lecture Notes in Computer Science ISBN: 9783540654612

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-49254-2_6
https://link.springer.com/content/pdf/10.1007%2F3-540-49254-2_6.pdf
https://dblp.uni-trier.de/db/conf/nada/nada1998.html#PooleHT98
https://link.springer.com/chapter/10.1007/3-540-49254-2_6
http://core.ac.uk/display/23811736

Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms

Autoři: John V. Tucker Viggo Stoltenberg-Hansen

Zdroj: Lecture Notes in Computer Science ISBN: 9783540565963

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-56596-5_46
https://dblp.uni-trier.de/db/conf/rex/rex92.html#Stoltenberg-HansenT92
https://link.springer.com/chapter/10.1007/3-540-56596-5_46

Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack

Autoři: J. V. Tucker B. McConnell

Zdroj: Logic and Algebra of Specification ISBN: 9783642634482

Přístupová URL adresa: https://link.springer.com/chapter/10.1007%2F978-3-642-58041-3_9
https://rd.springer.com/chapter/10.1007/978-3-642-58041-3_9

A graph theoretic model of synchronous concurrent algorithms

Autoři: Meinke, K.

Témata: 519, Synchronous algorithms model

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233231

A mathematical theory of synchronous concurrent algorithms

Autoři: Thompson, Benjamin Criveli Tucker, J.

Přispěvatelé: Thompson, Benjamin Criveli Tucker, J.

Témata: 519.5, Synchronous algorithm theory

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379746

The specification and simulation of synchronous concurrent algorithms

Autoři: Martin, Andrew Richard

Témata: 005, Computer programming

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235594

Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited

Autoři: Eker, S.M.

Témata: info:eu-repo/semantics/other

URL: http://ir.cwi.nl/pub/5424

Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms

Autoři: M.J. Poole J.V. Tucker A.V. Holden a další

Přispěvatelé: M.J. Poole J.V. Tucker A.V. Holden a další

Zdroj: http://www.cbiol.leeds.ac.uk/arun/nada.ps.gz.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7791; http://www.cbiol.leeds.ac.uk/arun/nada.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.7791
http://www.cbiol.leeds.ac.uk/arun/nada.ps.gz

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Autoři: John Tucker

Relation: http://dx.doi.org/10.1016/j.amc.2009.04.058

Dostupnost: https://cronfa.swan.ac.uk/Record/cronfa147

NONLINEAR SCIENCE—THE IMPACT OF BIOLOGY: Nonlinear science -- the impact of biology

Autoři: Arun V. Holden

Zdroj: Journal of the Franklin Institute. 334:971-1014

Témata: ecosystem management, 0301 basic medicine, Research exposition (monographs, survey articles) pertaining to biology, 0303 health sciences, Ecology, Physiology (general), biological systems, heart, Applications of dynamical systems, 03 medical and health sciences, Population dynamics (general), nonlinear science, population dynamics, Computational methods for problems pertaining to biology, synchronous concurrent algorithms, General biology and biomathematics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1217295
https://doi.org/10.1142/s0218127497001552
https://www.worldscientific.com/doi/abs/10.1142/S0218127497001552
http://ui.adsabs.harvard.edu/abs/1997IJBC....7.2075H/abstract
https://www.sciencedirect.com/science/article/pii/S001600329700029X
https://ui.adsabs.harvard.edu/abs/1999vnst.book..283H/abstract

Continuity of operators on continuous and discrete time streams

Autoři: Jeffery I. Zucker John V. Tucker

Zdroj: Theoretical Computer Science. 412:3378-3403

Témata: Compact-open topology, Topological algebras, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Continuous stream operations, Theoretical Computer Science, Fixed points, Synchronous concurrent algorithms, 0202 electrical engineering, electronic engineering, information engineering, Discrete time streams, Analog computing, Analog networks, Continuous time streams, Hadamard's principle, Computer Science(all)

Přístupová URL adresa: https://core.ac.uk/display/78844251
http://doi.org/10.1016/j.tcs.2011.04.012
https://dblp.uni-trier.de/db/journals/tcs/tcs412.html#TuckerZ11
https://www.sciencedirect.com/science/article/pii/S030439751100301X
https://cronfa.swan.ac.uk/Record/cronfa7207
https://cronfa.swan.ac.uk/Record/cronfa7207

AN ALGORITHMIC MODEL OF THE MAMMALIAN HEART: PROPAGATION, VULNERABILITY, RE-ENTRY AND FIBRILLATION: An algorithmic model of the mammalian heart: Propagation, vulnerability, re-entry and fibrillation

Autoři: Arun V. Holden John V. Tucker Matthew Poole

Zdroj: International Journal of Bifurcation and Chaos. :1623-1635

Témata: Physiology (general), 0103 physical sciences, Biophysics, mammalian cardiac ventricles, synchronous concurrent algorithms, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: http://ui.adsabs.harvard.edu/abs/1996IJBC....6.1623H/abstract
https://www.worldscientific.com/doi/10.1142/S0218127496000989

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Autoři: B C Thompson J V Tucker J I Zucker a další

Přispěvatelé: B C Thompson J V Tucker J I Zucker a další

Zdroj: http://www.cas.mcmaster.ca/%7Ezucker/Pubs/SCA/AMC/proofs.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1039.3974; http://www.cas.mcmaster.ca/%7Ezucker/Pubs/SCA/AMC/proofs.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1039.3974
http://www.cas.mcmaster.ca/%7Ezucker/Pubs/SCA/AMC/proofs.pdf

The applicability of discrete performance estimation methods to VLSI design

Autoři: Alan Williams

Zdroj: Formal Aspects of Computing. 5:152-176

Témata: specification of synchronous concurrent algorithms, Specification and verification (program logics, model checking, etc.), VLSI design, discret high-level VLSI complexity models, 0202 electrical engineering, electronic engineering, information engineering, asymptotic complexity results, 0102 computer and information sciences, 02 engineering and technology, Circuits, networks, performance estimation, 01 natural sciences, Performance evaluation, queueing, and scheduling in the context of computer systems

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/BF01211303.pdf
https://link.springer.com/article/10.1007/BF01211303
https://dblp.uni-trier.de/db/journals/fac/fac5.html#Williams93