Suchergebnisse - Models of Computation—Parallelism and concurrency
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Modes of Computation— Parallelism and concurrency, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Process models, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic— Temporal logic General Terms, Languages, Theory, Verification Additional Key Words and Phrases, True concurrency, causality, mu-calculus, behavioural equivalences, history-preserving bisimilarity, event structures
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Quelle: ACM Computing Surveys; Jan2026, Vol. 58 Issue 1, p1-37, 37p
Schlagwörter: PROBABILISTIC generative models, LANGUAGE models
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783319471655
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 784–805, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Carmona J.; Kleijn J./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:784/pagina_a:805/intervallo_pagine:784–805Schlagwörter: Màquines, Teoria de, Communication behaviour, Reactive components, Construction engineering, H.3.4 INFORMATION STORAGE AND RETRIEVAL. Systems and Software. Distributed systems, F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency, 0102 computer and information sciences, 02 engineering and technology, Compatibility, 01 natural sciences, Machine theory, Team automata, Systems-of-systems, Correct communications, 0202 electrical engineering, electronic engineering, information engineering, F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata, Multi-component systems, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Automata theory, Multicomponent systems, E.4 CODING AND INFORMATION THEORY. Formal models of communication, Master-slave synchronisations, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Correctby, Program verification, Synchronisation policy, Correct-by-construction
Dateibeschreibung: application/pdf
Zugangs-URL: https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
http://hdl.handle.net/2117/100199
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_55
https://upcommons.upc.edu/bitstream/2117/100199/3/ISoLA2016_086_final_v1-1.pdf
https://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_55
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekCK16
https://upcommons.upc.edu/handle/2117/100199 -
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems—distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Re- liability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals ’ problem, commit problem, consensus problem
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems|distributed applications, distributed databases, network operating systems, C.4 [Per- formance of Systems, reliability, availability, and serviceability, D.1.3 [Programming Tech- niques, Concurrent programming|distributed programming, D.4.5 [Operating Systems, Re- liability|fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computa- tion|automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation|parallelism and concurrency, H.2.4 [Database Management, Systems|con- currency, distributed systems, transaction processing General Terms, Algorithms, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broad- cast, Byzantine Generals &apos, problem, commit problem
Dateibeschreibung: application/pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Sys- tems—distributed applications, distributed databases, network operating systems, C.4 [Performance of Systems, —reliability, availability, and serviceability, D.1.3 [Programming Techniques, Concurrent programming—distributed programming, D.4.5 [Operating Systems, Reliability—fault-tolerance, F.1.1 [Computation by Abstract Devices, Models of Computation—automata, relations among models, F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, H.2.4 [Database Management, Systems—concurrency, distributed systems, transaction processing General Terms, Algorithms, Reliability, Theory Additional Key Words and Phrases, agreement problem, asynchronous systems, atomic broadcast, Byzantine Generals ’ problem, commit problem
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.9085; http://spacegrant.colorado.edu/3cs/software/download/unreliable.pdf
-
7
Autoren: et al.
Quelle: ACM Transactions on Architecture & Code Optimization; Jun2025, Vol. 22 Issue 2, p1-26, 26p
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation— Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs— Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, expressiveness, language embedding, multiset rewriting systems
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
-
9
Autoren:
Weitere Verfasser:
Quelle: http://arxiv.org/pdf/0804.3351v2.pdf.
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
10
Autoren:
Weitere Verfasser:
Quelle: http://arxiv.org/pdf/0804.3351v3.pdf.
Schlagwörter: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
11
Autoren:
Quelle: International Journal of Parallel, Emergent & Distributed Systems; Dec 2021, Vol. 36 Issue 6, p565-578, 14p
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, F.1.2 [Computation by Abstract Devices, Models of Computation--parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems General Terms, Algorithms, Theory
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.2927; http://www.cs.utexas.edu/users/plaxton/pubs/1998/jacm.ps
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, E.1 [Data Structures, Arrays, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Sorting and searching, H.3.1 [Information Storage and Retrieval, Content Analysis and Indexing—Indexing methods
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Quelle: SCIENCE CHINA Information Sciences; Apr2025, Vol. 68 Issue 4, p1-39, 39p
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Distributed Systems—Distributed applications, D.1.3 [Programming Techniques, Concurrent Programming—Distributed pro- gramming, F.1.2 [Computation by Abstract Devices, Modes of Computation—Parallelism and concurrency General Terms Algorithms, Design, Theory Keywords Data Filtering, Dataflow, Architecturally Diverse Platforms
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.620.8539; http://www1.cse.wustl.edu/~lip/index_files/spaa10_li.pdf
-
16
Autoren:
Weitere Verfasser:
Quelle: http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf.
Schlagwörter: H.5.3 [Information Interfaces and Presentation, Group and Orga- nization Interfaces—Theory and models, Web-based interaction General Terms Languages, Standardization, Theory Keywords Web services, contracts, concurrency theory, CCS, must testing, type theory, subtyping, explicit coercions
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657; http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf
Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.5657
http://basics.sjtu.edu.cn/~yuehg/popl/a theory of contracts for web services (2008).pdf -
17
Autoren:
Quelle: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p24-2436, 36p
-
18
Autoren:
Quelle: International Journal of Applied Operational Research; Mar2013, Vol. 3 Issue 1, p95-108, 14p
-
19
Autoren: Valiant, Leslie G.
Quelle: Communications of the ACM; Aug1990, Vol. 33 Issue 8, p103-111, 9p
Schlagwörter: PARALLEL computers, VON Neumann algebras
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors F.1.2 [Computation by Abstract Devices, Modes of Computation—parallelism and concurrency, C.2[Computer- Communication Networks, Miscellaneous, B.3.2 [Memory Structures, Design Styles—shared memory General Terms Algorithms, Theory Keywords Common2, Wait-free, Stack, Queue, Consensus number 2, Unbounded concurrency, Immediate snapshot
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7446; http://www.cs.tau.ac.il/~adamx/podc06.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder