المؤلفون: Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 13-24 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1606.05937v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/a6956f2a9fa5410a8d5b871d27927e7e

المؤلفون: Francisco Martins, Vasco T. Vasconcelos, Tiago Cogumbreiro

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 111-129 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1110.4165v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/85aafb1091da4d87aab62d2c28118009

المؤلفون: Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 17, Iss Proc. PLACES 2009, Pp 95-109 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1002.0942v2; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/f504cfaaa15f49f1b14eea4b292b9343

المؤلفون: Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

المصدر: Formal Methods in System Design.

مصطلحات موضوعية: Hardware and Architecture, Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a64d4f48556099e9de15b2d8b60584ee
https://doi.org/10.1007/s10703-023-00415-0

المؤلفون: Tiago Cogumbreiro, Gregory Blike

المصدر: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99ec22c387b42c05371d15fd53155363
https://doi.org/10.1145/3502718.3524742

المؤلفون: Dennis Liew, Tiago Cogumbreiro, Julien Lange

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99d4fa1f6f4058d9afeca527e070d53a
http://arxiv.org/abs/2203.12878

المؤلفون: Tiago Cogumbreiro, Julien Lange, Hannah Zicarelli, Dennis Liew Zhen Rong

المصدر: Computer Aided Verification ISBN: 9783030816841
CAV (1)

مصطلحات موضوعية: 010302 applied physics, Correctness, Computer science, 020207 software engineering, 02 engineering and technology, Parallel computing, Static analysis, 01 natural sciences, Race (biology), Shared memory, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Parallelism (grammar), Commodity (Marxism)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::603b7fdd8c0e14c16d0381e9589ded76
https://doi.org/10.1007/978-3-030-81685-8_19

المؤلفون: Max Grossman, Tiago Cogumbreiro, Vivek Sarkar, Vasco T. Vasconcelos, Francisco Martins, Rishi Surendran

المصدر: Proceedings of the ACM on Programming Languages. 1:1-26

مصطلحات موضوعية: Theoretical computer science, Computer science, Distributed computing, Proof assistant, 020207 software engineering, 02 engineering and technology, Deadlock, Data flow diagram, Imperative programming, Shared memory, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Futures contract, Deadlock prevention algorithms, Time complexity, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bc60b5c2b183d9fd4ade7bf8a4bdca9c
https://doi.org/10.1145/3143359

المؤلفون: Vivek Sarkar, Tiago Cogumbreiro, Jun Shirako

المصدر: Journal of Logical and Algebraic Methods in Programming. 90:50-60

مصطلحات موضوعية: Theoretical computer science, Logic, Computer science, Programming language, Proof assistant, 020207 software engineering, 02 engineering and technology, Mathematical proof, computer.software_genre, Phaser, Theoretical Computer Science, Scheduling (computing), Computational Theory and Mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Semaphore, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::090e49b66aadcd6197c47e4df1fd5ea1
https://doi.org/10.1016/j.jlamp.2017.02.006

المؤلفون: Vivek Sarkar, Tiago Cogumbreiro, Caleb Voss

المصدر: PPoPP

مصطلحات موضوعية: 020203 distributed computing, Transitive relation, Theoretical computer science, Computer science, Computation, 0202 electrical engineering, electronic engineering, information engineering, False positive paradox, Task parallelism, Joins, 020207 software engineering, 02 engineering and technology, Execution time, Spawn (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a893456f31e037a482998eed95c420c5
https://doi.org/10.1145/3293883.3295724