Search Results - "Concurrent processes"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: 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]
File Description: application/pdf
Access URL: https://inria.hal.science/hal-05106202v1
-
2
Authors: et al.
Contributors: et al.
Source: PLDI 2021
Subject Terms: 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
Access 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
Authors: et al.
Contributors: et al.
Subject Terms: Realizability, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Process Algebras, Concurrent Programming, ddc:004, Linear Logic, Concurrent Processes
File Description: application/pdf
-
4
Authors:
Source: Electronics, Vol 12, Iss 6, p 1406 (2023)
Subject Terms: 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
Authors: et al.
Subject Terms: 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 sup, 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
Availability: https://doi.org/10.1371/journal.pone.0278847.s001
-
6
Authors: Beltrame R
Source: 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:WP370Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
7
Authors:
Source: Моделирование и анализ информационных систем, Vol 25, Iss 6, Pp 607-622 (2018)
Subject Terms: 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
Access 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
Authors: Beltrame R
Source: 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:WP364Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
9
Authors: Beltrame R
Source: 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:WP369Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
10
Authors: Beltrame R
Source: 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:WP365Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
11
Authors: Beltrame R
Source: 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:WP361Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
12
Authors: Beltrame R
Source: 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:WP365Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
13
Authors: Beltrame R
Source: 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:WP362Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
14
Authors: Beltrame R
Source: 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:WP364Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
15
Authors: et al.
Contributors: et al.
Source: 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écnicasSubject Terms: 2. Zero hunger, ENZYME CATALYSIS, MULTISTEP SYNTHESIS, ORGANIC CATALYSIS, CONCURRENT PROCESSES, ENANTIOSELECTIVITY, 01 natural sciences, ONE-POT PROCEDURES, 0104 chemical sciences
File Description: application/pdf
Access 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
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-03429597 ; [Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81.
Subject Terms: 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
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 176, Iss Proc. LINEARITY 2014, Pp 64-78 (2015)
Subject Terms: 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)
Access 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
Authors: Beltrame R
Source: 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 349Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
-
20
Authors: Beltrame R
Source: 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 348Subject Terms: Cognition, Parallel Concurrent Processes
File Description: application/pdf
Nájsť tento článok vo Web of Science
Full Text Finder