Výsledky vyhledávání - Theory of computation Models of computation Concurrency Parallel computing models

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Autoři: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Přispěvatelé: Din, Crystal Hähnle, Reiner Henrio, Ludovic a další

Zdroj: ACM Transactions on Programming Languages and Systems

Témata: CCS Concepts, Programming logic, Theory of computation → Parallel computing models, • Software and its engineering → Concurrent programming structures, CCS Concepts: Theory of computation → Parallel computing models Programming logic Program semantics • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Program semantics, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04732946v1
https://hal.science/hal-04732946v1/document
https://doi.org/10.1145/3648439
https://hdl.handle.net/11250/3152463

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Autoři: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a další

Přispěvatelé: Suchert, Felix Zeidler, Lisza Castrillon, Jeronimo a další

Témata: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16

Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion

Autoři: Jade Alglave Daniel Kroening Vincent Nimal a další

Zdroj: ACM Transactions on Programming Languages and Systems. 39:1-38

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.2.4, Program analysis, 02 engineering and technology, Static analysis, program synthesis, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, weak memory, Parallel computing models, 0202 electrical engineering, electronic engineering, information engineering, concurrency, Theory of computation

Přístupová URL adresa: http://arxiv.org/abs/1312.1411
https://discovery.ucl.ac.uk/id/eprint/1568617/
https://ora.ox.ac.uk/objects/uuid:180130bb-0ce3-4fcd-8a72-12d60f5cf05f
http://doi.org/10.1145/2994593
https://www.cs.ox.ac.uk/publications/publication8763-abstract.html
https://dl.acm.org/doi/10.1145/2994593
https://dl.acm.org/citation.cfm?id=2994593
https://ora.ox.ac.uk/objects/uuid:180130bb-0ce3-4fcd-8a72-12d60f5cf05f
https://discovery-pp.ucl.ac.uk/id/eprint/1568617/

Static guarantees for coordinated components : a statically typed composition model for stream-processing networks

Autoři: Penczek, Frank

Témata: 005.13, progamming languages, type theory, distributed and parallel computing, runtime systems, formal semantics, language design and implementation

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

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

Autoři: Ungureanu, George Jordao, Rodolfo Sander, Ingo, Professor

Zdroj: Proceedings of the 2020 Forum for Specification & Design Languages (FDL) International Forum on Design Languages.

Témata: models of computation, parallel simulation, dataflow, discrete event systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286060
https://kth.diva-portal.org/smash/get/diva2:1502081/FULLTEXT01.pdf

Stateful serverless computing with crucial

Autoři: Barcelona-Pons, Daniel Sutra, Pierre Sánchez-Artigas, Marc a další

Přispěvatelé: Barcelona-Pons, Daniel Sutra, Pierre Sánchez-Artigas, Marc a další

Zdroj: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.science/hal-04251909 ; ACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-38. ⟨10.1145/3490386⟩.

Témata: Computer systems organization, Theory of computation, Architectures, Models of computation, Distributed architectures, Concurrency, Cloud computing, Distributed computing models, [INFO]Computer Science [cs]

Dostupnost: https://hal.science/hal-04251909
https://doi.org/10.1145/3490386

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion

Autoři: Alglave, J Kroening, D Nimal, V a další

Zdroj: ACM Transactions on Programming Languages and Systems (TOPLAS) , 39 (2) , Article 6. (2017)

Témata: Theory of computation, Program analysis, Parallel computing models, Static analysis, weak memory, program synthesis, concurrency

Popis souboru: text

Relation: https://discovery.ucl.ac.uk/id/eprint/1568617/1/Alglave_Dont_Sit_Fence.pdf; https://discovery.ucl.ac.uk/id/eprint/1568617/

Dostupnost: https://discovery.ucl.ac.uk/id/eprint/1568617/1/Alglave_Dont_Sit_Fence.pdf
https://discovery.ucl.ac.uk/id/eprint/1568617/

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Actor Model of Computation: Scalable Robust Information Systems

Autoři: Hewitt, Carl

Témata: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, text

URL: http://arxiv.org/abs/1008.1459

Significance of Models of Computation, from Turing Model to Natural Computation.

Autoři: Dodig-Crnkovic, Gordana

Zdroj: Minds & Machines; May2011, Vol. 21 Issue 2, p301-322, 22p

Témata: NATURAL computation, INFORMATION processing, ORGANISMS, LOGIC, NATURAL history

Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware.

Autoři: Lin, Shaokai Jellum, Erling Theile, Mirco a další

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Témata: CYBER physical systems, SCHEDULING, MULTICORE processors, FINITE state machines, REAL-time computing

On the Interpretation of Denotational Semantics.

Autoři: Cardone, Felice

Zdroj: Philosophies; Jun2025, Vol. 10 Issue 3, p54-N.PAG, 18p

Témata: SEMANTICS, PROGRAMMING language semantics, MATHEMATICAL category theory, PROGRAMMING languages, INTUITIONISTIC mathematics, FUNCTIONAL programming (Computer science)

Computers as Interactive Machines: Can We Build an Explanatory Abstraction?

Autoři: Martin, Alice Magnaudet, Mathieu Conversy, Stéphane

Zdroj: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams

Témata: HUMAN-computer interaction, COMPUTABLE functions, TURING machines, COMPUTERS, COMPUTER engineering

Spatial Machines: A MORE REALISTIC APPROACH TO PARALLEL COMPUTATION.

Autoři: Feldman, Yosee Shapiro, Ehud

Zdroj: Communications of the ACM; Oct92, Vol. 35 Issue 10, p61-73, 13p

Témata: ALGORITHMS, SPATIAL systems, STATISTICAL correlation, ARTIFICIAL intelligence, COMPUTER software

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (Research Report)

Autoři: Aubert, Clément Cristescu, Ioana Augusta University a další

Přispěvatelé: Aubert, Clément Cristescu, Ioana Augusta University a další

Zdroj: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.

Témata: Distributed and reversible computation, Computing meth- odologies → Concurrent programming languages Keywords and phrases Formal semantics, Process algebras and calculi, Bisimulation, Reversible CCS, Configuration structures, 2012 ACM Subject Classification Theory of computation → Program semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2005.06814; hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250; https://hal.archives-ouvertes.fr/hal-02568250/document; https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf; ARXIV: 2005.06814

Dostupnost: https://hal.archives-ouvertes.fr/hal-02568250
https://hal.archives-ouvertes.fr/hal-02568250/document
https://hal.archives-ouvertes.fr/hal-02568250/file/2020_05_08_standalone.pdf

"Intelligent Heuristics Are the Future of Computing".

Autoři: Teng, Shang-Hua

Zdroj: ACM Transactions on Intelligent Systems & Technology; Dec2023, Vol. 14 Issue 6, p1-39, 39p

Témata: HEURISTIC, SIMPLEX algorithm, COMPUTER software, EVOLUTIONARY algorithms, COMPUTER science, UBIQUITOUS computing

Computing with chemical reaction networks: a tutorial.

Autoři: Brijder, Robert

Zdroj: Natural Computing; Mar2019, Vol. 18 Issue 1, p119-137, 19p

Témata: NATURAL computation, CHEMICAL reactions, PETRI nets, GRAPH theory, EVALUATION nets

An Axiomatic Theory for Reversible Computation

Autoři: Lanese, Ivan Phillips, Iain Ulidowski, Irek a další

Přispěvatelé: Lanese, Ivan Phillips, Iain Ulidowski, Irek a další

Zdroj: ISSN: 1529-3785.

Témata: CCS Concepts: Theory of computation → Concurrency Process calculi • Computing methodologies → Concurrent programming languages Reversible Computation, Labelled Transition System with Independence, Causal Consistency, Causal Safety, Process calculi, Reversible Computation, [INFO]Computer Science [cs]

Dostupnost: https://inria.hal.science/hal-04575972
https://inria.hal.science/hal-04575972v1/document
https://inria.hal.science/hal-04575972v1/file/main.pdf
https://doi.org/10.1145/3648474

ADDRESSING MACHINES AS MODELS OF λ-CALCULUS.

Autoři: PENNA, GIUSEPPE DELLA INTRIGILA, BENEDETTO MANZONETTO, GIULIO

Zdroj: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-31, 31p

Témata: MACHINE theory, CALCULUS, TURING machines, MACHINERY, COMPUTER science, FRACTIONAL calculus, SCIENTIFIC models

Lower bounds for algebraic machines, semantically

Autoři: Pellissier, Luc Seiller, Thomas Laboratoire d'Algorithmique Complexité et Logique (LACL) a další

Přispěvatelé: Pellissier, Luc Seiller, Thomas Laboratoire d'Algorithmique Complexité et Logique (LACL) a další

Zdroj: https://hal.science/hal-02487667 ; 2021.

Témata: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes/F.1.3.3: Relations among complexity classes, ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2002.10888; ARXIV: 2002.10888

Dostupnost: https://hal.science/hal-02487667
https://hal.science/hal-02487667v2/document
https://hal.science/hal-02487667v2/file/PRAMsLB.pdf