Výsledky vyhledávání - specification of synchronous concurrent algorithms

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

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

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: Thompson, B.C. Tucker, J.V. Zucker, J.I.

Zdroj: Applied Mathematics & Computation. Oct2009, Vol. 215 Issue 4, p1386-1403. 18p.

Témata: *COMPUTERS, *DYNAMICS, *ALGORITHMS, *MODULES (Algebra), *DATA analysis, *CELLULAR automata, *DISCRETE-time systems, *ARTIFICIAL neural networks

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

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

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

Zdroj: Logic and Algebra of Specification ; page 321-375 ; ISBN 9783642634482 9783642580413

Dostupnost: http://dx.doi.org/10.1007/978-3-642-58041-3_9
http://link.springer.com/content/pdf/10.1007/978-3-642-58041-3_9.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

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

A parallel cooperative coevolutionary multi-verse algorithm for large-scale multi-objective UAV path planning problems.

Autoři: Jarray, Raja Bouallègue, Soufiene

Zdroj: Memetic Computing; Dec2025, Vol. 17 Issue 4, p1-32, 32p

A Theory of Synchronous Relational Interfaces.

Autoři: Tripakis, Stavros Lickly, Ben Henzinger, Thomas A. a další

Zdroj: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p14:1-14:41, 41p

Témata: SYNCHRONOUS data transmission systems, SYSTEMS design, ALGORITHMS, COMPUTER interfaces, CONCURRENT Aggregates (Computer program language), VERIFICATION of computer systems

A new distributed graph coloring algorithm for large graphs.

Autoři: Brighen, Assia Slimani, Hachem Rezgui, Abdelmounaam a další

Zdroj: Cluster Computing; Feb2024, Vol. 27 Issue 1, p875-891, 17p

Témata: GRAPH coloring, GRAPH algorithms, GRAPH theory, PARALLEL algorithms, NP-hard problems, PARALLEL processing

A Behavioural Theory of Recursive Algorithms.

Autoři: Börger, Egon Schewe, Klaus-Dieter

Zdroj: Fundamenta Informaticae; 2020, Vol. 177 Issue 1, p1-37, 37p

Témata: MACHINE theory, SCIENTIFIC computing, ALGORITHMS, PROGRAMMING languages, DEFINITIONS, SUPPORT vector machines

Algebraic specification and correctness of artificial neural networks

Autoři: Yates, W. B.

Témata: 530.15

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

Specification and verification of network algorithms using temporal logic

Autoři: Bani-Abdelrahman, Ra'Ed

Témata: 004, Information and Computing Sciences not elsewhere classified, Temporal logic, Software Engineering, Network algorithms, Synchronous Flooding, Asynchronous Flooding, Formal Methods

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

Hardware synthesis from high-level scenario specifications

Autoři: De Gennaro, Alessandro

Témata: 629.8

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

Remotely Sensed High‐Resolution Soil Moisture and Evapotranspiration: Bridging the Gap Between Science and Society.

Autoři: Huang, Jingyi Sehgal, Vinit Alvarez, Laura V. a další

Zdroj: Water Resources Research; May2025, Vol. 61 Issue 5, p1-39, 39p

Témata: WATER management, SYNTHETIC aperture radar, ECOSYSTEM management, REMOTE sensing, SOIL moisture, DROUGHT forecasting

A rapid state-of the-art review of client-reported outcomes measures used to assess dogs' clinical signs and quality of life during chemotherapy.

Autoři: Harris, Jenny Fournier, Quentin Sutton, Katie a další

Zdroj: BMC Veterinary Research. 2/18/2025, Vol. 21 Issue 1, p1-14. 14p.

Témata: Adverse health care events, Medical personnel, Statistical reliability, Public health, Medical sciences

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.

Autoři: Potop-Butucaru, Dumitru Sorel, Yves de Simone, Robert a další

Zdroj: Fundamenta Informaticae. 2011, Vol. 108 Issue 1-2, p91-118. 28p. 18 Diagrams.

Témata: *ASYNCHRONOUS circuits, *SYNCHRONIZATION, *COMPUTER networks, *COMPUTER programming, *COMPUTER architecture, *INFORMATION theory, *SYSTEM analysis, *ALGORITHMS

Practical Improvement in the Implementation of Two Avalanche Tests to Measure Statistical Independence in Stream Ciphers.

Autoři: Madarro-Capó, Evaristo José Ramos Piñón, Eziel Christians Sosa-Gómez, Guillermo a další

Zdroj: Computation; Mar2024, Vol. 12 Issue 3, p60, 13p

Témata: STREAM ciphers, PARALLEL algorithms, AVALANCHES