-
1دورية أكاديمية
المؤلفون: 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
-
2دورية أكاديمية
المؤلفون: 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
-
3دورية أكاديمية
المؤلفون: 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
-
4
المؤلفون: Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli
المصدر: Formal Methods in System Design.
مصطلحات موضوعية: Hardware and Architecture, Software, Theoretical Computer Science
-
5
المؤلفون: 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 -
6
المؤلفون: 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 -
7
المصدر: 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 -
8
المؤلفون: 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
-
9
المؤلفون: 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
-
10
المؤلفون: 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