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

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

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

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

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

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 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

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

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

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

The concurrent assignment representation of synchronous systems

Autoři: John V. Tucker A. R. Martin

Zdroj: Lecture Notes in Computer Science ISBN: 9783540179450

Témata: Cellular automata (computational aspects), clocks, concurrent assignment specification, design of hardware, 0102 computer and information sciences, 02 engineering and technology, streams, 01 natural sciences, Theory of operating systems, neural nets, clocked hardware, 0202 electrical engineering, electronic engineering, information engineering, systolic algorithms, synchronous systems, synchronous concurrent algorithms, Algorithms in computer science, abstract data type

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/4088916
https://doi.org/10.1016/0167-8191(89)90130-0
https://www.sciencedirect.com/science/article/abs/pii/0167819189901300
http://dblp.uni-trier.de/db/journals/pc/pc9.html#MartinT89
https://dblp.uni-trier.de/db/journals/pc/pc9.html#MartinT89
https://doi.org/10.1016/0167-8191(89)90130-0
https://dblp.uni-trier.de/db/conf/parle/parle87-2.html#MartinT87
https://rd.springer.com/chapter/10.1007/3-540-17945-3_21
https://link.springer.com/chapter/10.1007/3-540-17945-3_21

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

Concurrent Validity and Reliability of In-Person and Supervised Remote STEADI Fall Risk Assessment in Community-Dwelling Older Adults.

Autoři: Jasper, Amie Karim, Rania Vitente, Arvie C. a další

Zdroj: Journal of Geriatric Physical Therapy. Jul-Sep2025, Vol. 48 Issue 3, p116-124. 9p.

Témata: Risk assessment, Cross-sectional method, Pearson correlation (Statistics), Mental health surveys, Independent living, Research funding, T-test (Statistics), Research methodology evaluation, Statistical sampling, Research evaluation, Questionnaires, Telerehabilitation, Descriptive statistics, Research methodology, Intraclass correlation, Accidental falls, Reliability (Personality trait), Postural balance, Inter-observer reliability, Video recording, Evaluation, Old age

Geografický termín: Florida, California, Illinois

Concurrent Acute Appendicitis and Cholecystitis: A Systematic Literature Review.

Autoři: Tuncer, Adem Akbulut, Sami Sahin, Emrah a další

Zdroj: Journal of Clinical Medicine; Jul2025, Vol. 14 Issue 14, p5019, 21p

Témata: APPENDICITIS, CHOLECYSTITIS, SYMPTOMS, HISTOPATHOLOGY, THERAPEUTICS, LAPAROSCOPIC surgery

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