Výsledky vyhledávání - "D.1.3 [Concurrent Programming]: Parallel Programming"

Trace and Stable Failures Semantics for CSP-Agda

Autoři: Bashar Igried Anton Setzer

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

1 Scalable Multimedia Content Analysis on Parallel Platforms Using Python

Autoři: Ekaterina Gonina Eric Battenberg Penporn Koanantakool a další

Přispěvatelé: Ekaterina Gonina Eric Battenberg Penporn Koanantakool a další

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

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

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

ParaFlow: Fine-grained parallel SDN controller for large-scale networks.

Autoři: Song, Ping Liu, Yi Liu, Chi a další

Zdroj: Journal of Network & Computer Applications. Jun2017, Vol. 87, p46-59. 14p.

Témata: *SOFTWARE-defined networking, *QUALITY of service, *SERVER farms (Computer network management), PARALLEL computers, ROUTING (Computer network management), ELECTRIC network topology

Trace and Stable Failures Semantics for CSP-Agda

Autoři: Igried, Bashar Setzer, Anton

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

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

Taming Release-Acquire Consistency.

Autoři: Lahav, Ori Giannarakis, Nick Vafeiadis, Viktor

Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p649-662, 14p

GPU acceleration for the pricing of the CMS spread option.

Autoři: Nasar-Ullah, Qasim

Zdroj: 2012 Innovative Parallel Computing (InPar); 1/ 1/2012, p1-10, 10p

Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?

Autoři: Mador-Haim, Sela Alur, Rajeev Martin, Milo M. K.

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p504-509, 6p, 3 Diagrams, 1 Chart

Témata: PARALLEL programming, MEMORY maps (Computer science), COMPUTER software execution, POWERPC microprocessors, COMPUTER multitasking

Software Thread-Level Speculation -An Optimistic Library Implementation.

Autoři: Oancea, Cosmin E. Mycroft, Alan

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

Parallelizing CAD: A Timely Research Agenda for EDA.

Autoři: Catanzaro, Bryan Keutzer, Kurt Bor-Yiing Su

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p12-17, 6p, 2 Diagrams

Témata: COMPUTER-aided design, MICROPROCESSORS, COMPUTER software development, COMPUTER engineering, PARALLEL programs (Computer programs)

Parallel cell projection rendering of adaptive mesh refinement data.

Autoři: Weber, G.H. Ohler, M. Kreylos, O. a další

Zdroj: IEEE Symposium on Parallel & Large-Data Visualization & Graphics, 2003. PVG 2003; 2003, p51-60, 10p

How FIFO is your concurrent FIFO queue

Autoři: Andreas Haas Christoph M Kirsch Michael Lippautz a další

Přispěvatelé: Andreas Haas Christoph M Kirsch Michael Lippautz a další

Zdroj: http://soft.vub.ac.be/races/wp-content/uploads/2012/09/p1-haas.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1039.2805

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1039.2805
http://soft.vub.ac.be/races/wp-content/uploads/2012/09/p1-haas.pdf

Taming irregular EDA applications on GPUs

Autoři: Shuai Mu Yangdong Deng Bo David Wang

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

Abstractions for safe concurrent programming in networked embedded systems

Autoři: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf.

Témata: General Terms Design, Experimentation, Languages, Measurement, Performance Keywords Wireless sensor networks, multi-threading, programming methodology, static

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.5201

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.5201
http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf

Accelerating Value-at-Risk estimation on highly parallel architectures.

Autoři: Dixon, M. F. Chong, J. Keutzer, K.

Zdroj: Concurrency & Computation: Practice & Experience; Jun2012, Vol. 24 Issue 8, p895-907, 13p

Témata: FINANCIAL markets, VALUE at risk, ESTIMATION theory, PARALLEL processing, FINANCIAL risk management, GRAPHICS processing units, INVESTMENTS, MONTE Carlo method, DECISION making

Spatial Hardware Implementation for Sparse Graph Algorithms in GraphStep.

Autoři: DELORIMIER, MICHAEL KAPRE, NACHIKET MEHTA, NIKIL a další

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2011, Vol. 6 Issue 3, p17-17:20, 20p

Témata: GRAPH algorithms, SPARSE matrices, COMPUTER input-output equipment, COMPUTER software, COMPUTER networks, GRAPH theory, PROGRAMMING languages

Mostly Static Program Partitioning of Binary Executables.

Autoři: YARDIMCI, EFE FRANZ, MICHAEL

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2009, Vol. 31 Issue 5, p17:1-17:46, 46p, 10 Diagrams, 6 Charts, 8 Graphs

Témata: PARALLEL processing, COMPUTERS, ELECTRONIC systems, MULTIPROCESSORS, MULTIPROGRAMMING (Electronic computers), COMPUTER software, CELLULAR automata

Parallel proof checking in Isabelle/Isar

Autoři: Makarius Wenzel Technische Universität München The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Makarius Wenzel Technische Universität München The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf.

Témata: theorem proving, mathematical assistants

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.4361

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.4361
http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf

Mostly-Static Program Partitioning of Binary Executables

Autoři: Efe Yardimci Michael Franz The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Efe Yardimci Michael Franz The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ics.uci.edu/~franz/Site/pubs-pdf/J24Prepub.pdf.

Témata: General Terms, Design, Experimentation, Performance Additional Key Words and Phrases, Continuous Compilation and Optimization, Dynamic Parallelization, Binary Translation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.6033

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.6033
http://www.ics.uci.edu/~franz/Site/pubs-pdf/J24Prepub.pdf

Laskennan hajauttaminen ohjelmoitaville näytönohjaimille tietokonepeleissä

Autoři: Karhu, Kaj Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Tietojenkäsittelytieteen laitos University of Helsinki, Faculty of Science, Department of Computer Science a další

Přispěvatelé: Karhu, Kaj Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Tietojenkäsittelytieteen laitos University of Helsinki, Faculty of Science, Department of Computer Science a další

Témata: Computer science, Tietojenkäsittelytiede, Datavetenskap

Popis souboru: application/pdf

Relation: http://hdl.handle.net/10138/38136

Dostupnost: http://hdl.handle.net/10138/38136