Suchergebnisse - "Concurrent Processes"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Formal verification, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], Cache Coherence, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Memory consistency model, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Hardware design, Concurrent processes, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Dateibeschreibung: application/pdf
Zugangs-URL: https://inria.hal.science/hal-05106202v1
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: PLDI 2021
Schlagwörter: Technology, Science & Technology, 02 engineering and technology, Computer Science, Software Engineering, multiparty session types, deadlock freedom, liveness, Computer Science, Theory & Methods, protocol compliance, mechanisation, Computer Science, concurrent processes, 0202 electrical engineering, electronic engineering, information engineering, Coq
Zugangs-URL: https://kar.kent.ac.uk/88249/1/main.pdf
https://pldi21.sigplan.org/details/pldi-2021-papers/16/Zooid-A-DSL-for-Certified-Multiparty-Computation-From-Mechanised-Metatheory-to-Cert
https://doi.org/10.1145/3453483.3454041
https://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#Castro-Perez0GY21
http://hdl.handle.net/10044/1/89098 -
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Realizability, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Process Algebras, Concurrent Programming, ddc:004, Linear Logic, Concurrent Processes
Dateibeschreibung: application/pdf
-
4
Autoren:
Quelle: Electronics, Vol 12, Iss 6, p 1406 (2023)
Schlagwörter: fifth-generation mobile communications, future railway mobile communication system, mission-critical services, security services, service bricks, concurrent processes, Electronics, TK7800-8360
Relation: https://www.mdpi.com/2079-9292/12/6/1406; https://doaj.org/toc/2079-9292; https://doaj.org/article/929af33cc0804b33b763be6480f55d5e
-
5
Autoren: et al.
Schlagwörter: Science Policy, Space Science, Environmental Sciences not elsewhere classified, Biological Sciences not elsewhere classified, Information Systems not elsewhere classified, research allowed us, logistics etc .), intelligent devices seem, new technological challenges, st , div >< p, technological maturity, supporting technologies, subsequent phases, structures shape, statistical analysis, significant influence, questionnaire technique, primarily rely, may refer, main processes, literature studies, life cycle, leadership models, innovative technologies, emerging technologies, corporate culture, continual process, concurrent processes, building sector
Verfügbarkeit: https://doi.org/10.1371/journal.pone.0278847.s001
-
6
Autoren: Beltrame R
Quelle: Methodologia online WP370 (2022).
info:cnr-pdr/source/autori:Beltrame R./titolo:Sull'egoismo dell'essere/doi:/rivista:Methodologia online/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP370Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
7
Autoren:
Quelle: Моделирование и анализ информационных систем, Vol 25, Iss 6, Pp 607-622 (2018)
Schlagwörter: concurrent processes, 0202 electrical engineering, electronic engineering, information engineering, ontology, Information technology, 02 engineering and technology, verification, T58.5-58.64, 16. Peace & justice, model checking
Zugangs-URL: https://www.mais-journal.ru/jour/article/download/762/574
https://doaj.org/article/ff4d4787c800408dbbc7e608be448aed
https://www.mais-journal.ru/jour/article/download/762/574
https://www.mais-journal.ru/jour/article/view/762
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002278883998021
https://dblp.uni-trier.de/db/journals/accs/accs53.html#GaraninaAB19
https://link.springer.com/article/10.3103/S0146411619070058
https://www.mais-journal.ru/jour/article/viewFile/762/574 -
8
Autoren: Beltrame R
Quelle: Methodologia online WP364 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Brunelleschi: prospettiva ed elaborazione immagini/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP364Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
9
Autoren: Beltrame R
Quelle: Methodologia online WP369 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Storia del costituirsi di un modo mentale. La prospettiva rinascimentale. (rev. 2021)/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP369Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
10
Autoren: Beltrame R
Quelle: Methodologia online WP365 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Empatia, simpatia e antipatia/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP365Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
11
Autoren: Beltrame R
Quelle: Methodologia online WP361 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Uscire dal nozionismo/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP361Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
12
Autoren: Beltrame R
Quelle: Methodologia online WP365 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Il mentale in una mente che cambia-5. L'attività conscia/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP365Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
13
Autoren: Beltrame R
Quelle: Methodologia online WP362 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:L'Espressione plastica e il suo problema metodologico (1964) di Silvio Ceccato-Note e commenti/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP362Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
14
Autoren: Beltrame R
Quelle: Methodologia online WP364 (2021).
info:cnr-pdr/source/autori:Beltrame R./titolo:Esprimere ed esporre/doi:/rivista:Methodologia online/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP364Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasSchlagwörter: 2. Zero hunger, ENZYME CATALYSIS, MULTISTEP SYNTHESIS, ORGANIC CATALYSIS, CONCURRENT PROCESSES, ENANTIOSELECTIVITY, 01 natural sciences, ONE-POT PROCEDURES, 0104 chemical sciences
Dateibeschreibung: application/pdf
Zugangs-URL: https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/adsc.201700158
https://hdl.handle.net/11441/154766
https://onlinelibrary.wiley.com/doi/10.1002/adsc.201700158
https://onlinelibrary.wiley.com/doi/pdf/10.1002/adsc.201700158
http://hdl.handle.net/11336/63770
https://idus.us.es/handle//11441/154766 -
16
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://inria.hal.science/hal-03429597 ; [Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81.
Schlagwörter: Isabelle-HOL, Formal Proofs, Autonomous Critical Systems, Concurrent Processes, Driving assistance, [SCCO.COMP]Cognitive science/Computer science, [SPI]Engineering Sciences [physics]
Relation: Report N°: 1
-
18
Autoren:
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 176, Iss Proc. LINEARITY 2014, Pp 64-78 (2015)
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.3.2, F.1.1, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, quantum computing, linear logic, proof theory, typed calculi, interaction calculi, concurrent processes, Lambda calculus, geometry of interaction, 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Zugangs-URL: https://arxiv.org/pdf/1502.04774
http://arxiv.org/abs/1502.04774
https://doaj.org/article/80f8550b045e4b30a97bb42a9e6664da
https://www.arxiv.org/pdf/1502.04774
https://128.84.21.199/abs/1307.0550v2
https://arxiv.org/abs/1502.04774
http://eptcs.web.cse.unsw.edu.au/content.cgi?LINEARITY2014#EPTCS176.0
https://doi.org/10.4204/EPTCS.176.6
https://hdl.handle.net/11562/850767 -
19
Autoren: Beltrame R
Quelle: Methodologia online WP 349 (2020).
info:cnr-pdr/source/autori:Beltrame R./titolo:Il mentale in una mente che cambia. 3-L'approccio per processi concorrenti/doi:/rivista:Methodologia online/anno:2020/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP 349Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
-
20
Autoren: Beltrame R
Quelle: Methodologia online WP 348 (2020).
info:cnr-pdr/source/autori:Beltrame R./titolo:Il mentale in una mente che cambia. 2-Verso un approccio per processi concorrenti/doi:/rivista:Methodologia online/anno:2020/pagina_da:/pagina_a:/intervallo_pagine:/volume:WP 348Schlagwörter: Cognition, Parallel Concurrent Processes
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder