Výsledky vyhledávání - "D.1.3 [Concurrent Programming]: Parallel Programming"
-
1
Autoři:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Témata: 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)
Pří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 -
2
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
3
Autoři: a další
Zdroj: Journal of Network & Computer Applications. Jun2017, Vol. 87, p46-59. 14p.
-
4
Autoři:
Témata: 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
-
5
Autoři:
Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p649-662, 14p
-
6
Autoři: Nasar-Ullah, Qasim
Zdroj: 2012 Innovative Parallel Computing (InPar); 1/ 1/2012, p1-10, 10p
-
7
Autoři:
Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p504-509, 6p, 3 Diagrams, 1 Chart
-
8
Autoři:
Zdroj: ICSE: International Conference on Software Engineering; 2008, p23-31, 9p, 1 Diagram, 11 Charts
Témata: COMPUTER programming, SOFTWARE engineering, COMPUTER simulation, COMPUTER software, COMPUTER systems
-
9
Autoři:
Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p12-17, 6p, 2 Diagrams
-
10
Autoři: a další
Zdroj: IEEE Symposium on Parallel & Large-Data Visualization & Graphics, 2003. PVG 2003; 2003, p51-60, 10p
-
11
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
12
Autoři:
Zdroj: Proceedings of the 2009 International Conference on Computer-Aided Design. :539-546
Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Přístupová URL adresa: http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005361242
https://ieeexplore.ieee.org/document/5361242/
https://dl.acm.org/doi/10.1145/1687399.1687501
http://portal.acm.org/citation.cfm?doid=1687399.1687501
https://dblp.uni-trier.de/db/conf/iccad/iccad2009.html#DengWM09 -
13
Autoři:
Přispěvatelé:
Témata: General Terms Design, Experimentation, Languages, Measurement, Performance Keywords Wireless sensor networks, multi-threading, programming methodology, static
Popis souboru: application/pdf
-
14
Autoři:
Zdroj: Concurrency & Computation: Practice & Experience; Jun2012, Vol. 24 Issue 8, p895-907, 13p
-
15
Autoři: a další
Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2011, Vol. 6 Issue 3, p17-17:20, 20p
-
16
Autoři:
Zdroj: ACM Transactions on Programming Languages & Systems; Jun2009, Vol. 31 Issue 5, p17:1-17:46, 46p, 10 Diagrams, 6 Charts, 8 Graphs
-
17
Autoři:
Přispěvatelé:
Zdroj: http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf.
Témata: theorem proving, mathematical assistants
Popis souboru: application/pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.4361
http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf -
18
Autoři:
Přispěvatelé:
Témata: General Terms, Design, Experimentation, Performance Additional Key Words and Phrases, Continuous Compilation and Optimization, Dynamic Parallelization, Binary Translation
Popis souboru: application/pdf
-
19
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
Relation: http://hdl.handle.net/10138/38136
Dostupnost: http://hdl.handle.net/10138/38136
Full Text Finder
Nájsť tento článok vo Web of Science