Výsledky vyhľadávania - "D.1.3 [Concurrent Programming] Parallel Programming"

Trace and Stable Failures Semantics for CSP-Agda

Autori: Bashar Igried Anton Setzer

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)

Prístupová URL adresa: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf

1 Scalable Multimedia Content Analysis on Parallel Platforms Using Python

Autori: Ekaterina Gonina Eric Battenberg Penporn Koanantakool a ďalší

Prispievatelia: Ekaterina Gonina Eric Battenberg Penporn Koanantakool a ďalší

Zdroj: http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf.

Predmety: Categories and Subject Descriptors, D.1.3 [Concurrent Programming] Parallel Programming, D.2.m [Software Engineering, Miscellaneous— rapid prototyping, H.3.1 [Content Analysis and Retrieval] Content Analysis and Indexing General Terms, Scalability Additional Key Words and Phrases, Multimedia Content Analysis, Parallelism, Rapid Prototyping, GPU

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6908; http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6908
http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf

Trace and Stable Failures Semantics for CSP-Agda

Autori: Igried, Bashar Setzer, Anton

Témy: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, text

URL: http://arxiv.org/abs/1709.04714