Search Results - "D.1.3 concurrent programming [parallel programming]"

Trace and Stable Failures Semantics for CSP-Agda

Authors: Bashar Igried Anton Setzer

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

Subject Terms: 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)

Access URL: 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

Authors: Ekaterina Gonina Eric Battenberg Penporn Koanantakool et al.

Contributors: Ekaterina Gonina Eric Battenberg Penporn Koanantakool et al.

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

Subject Terms: 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

File Description: 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

Availability: 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.

Authors: Song, Ping Liu, Yi Liu, Chi et al.

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

Subject Terms: *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

Authors: Igried, Bashar Setzer, Anton

Index Terms: 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.

Authors: Lahav, Ori Giannarakis, Nick Vafeiadis, Viktor

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

GPU acceleration for the pricing of the CMS spread option.

Authors: Nasar-Ullah, Qasim

Source: 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?

Authors: Mador-Haim, Sela Alur, Rajeev Martin, Milo M. K.

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

Subject Terms: PARALLEL programming, MEMORY maps (Computer science), COMPUTER software execution, POWERPC microprocessors, COMPUTER multitasking

Software Thread-Level Speculation -An Optimistic Library Implementation.

Authors: Oancea, Cosmin E. Mycroft, Alan

Source: ICSE: International Conference on Software Engineering; 2008, p23-31, 9p, 1 Diagram, 11 Charts

Subject Terms: COMPUTER programming, SOFTWARE engineering, COMPUTER simulation, COMPUTER software, COMPUTER systems

Parallelizing CAD: A Timely Research Agenda for EDA.

Authors: Catanzaro, Bryan Keutzer, Kurt Bor-Yiing Su

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

Subject Terms: COMPUTER-aided design, MICROPROCESSORS, COMPUTER software development, COMPUTER engineering, PARALLEL programs (Computer programs)

Parallel cell projection rendering of adaptive mesh refinement data.

Authors: Weber, G.H. Ohler, M. Kreylos, O. et al.

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

How FIFO is your concurrent FIFO queue

Authors: Andreas Haas Christoph M Kirsch Michael Lippautz et al.

Contributors: Andreas Haas Christoph M Kirsch Michael Lippautz et al.

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

File Description: application/pdf

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

Availability: 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

Authors: Shuai Mu Yangdong Deng Bo David Wang

Source: Proceedings of the 2009 International Conference on Computer-Aided Design. :539-546

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: 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

Authors: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

Contributors: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

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

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

File Description: application/pdf

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

Availability: 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.

Authors: Dixon, M. F. Chong, J. Keutzer, K.

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

Subject Terms: 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.

Authors: DELORIMIER, MICHAEL KAPRE, NACHIKET MEHTA, NIKIL et al.

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

Subject Terms: GRAPH algorithms, SPARSE matrices, COMPUTER input-output equipment, COMPUTER software, COMPUTER networks, GRAPH theory, PROGRAMMING languages

Mostly Static Program Partitioning of Binary Executables.

Authors: YARDIMCI, EFE FRANZ, MICHAEL

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

Subject Terms: PARALLEL processing, COMPUTERS, ELECTRONIC systems, MULTIPROCESSORS, MULTIPROGRAMMING (Electronic computers), COMPUTER software, CELLULAR automata

Parallel proof checking in Isabelle/Isar

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

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

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

Subject Terms: theorem proving, mathematical assistants

File Description: application/pdf

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

Availability: 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

Authors: Efe Yardimci Michael Franz The Pennsylvania State University CiteSeerX Archives

Contributors: Efe Yardimci Michael Franz The Pennsylvania State University CiteSeerX Archives

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

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

File Description: application/pdf

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

Availability: 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ä

Authors: Karhu, Kaj Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Tietojenkäsittelytieteen laitos University of Helsinki, Faculty of Science, Department of Computer Science et al.

Contributors: Karhu, Kaj Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Tietojenkäsittelytieteen laitos University of Helsinki, Faculty of Science, Department of Computer Science et al.

Subject Terms: Computer science, Tietojenkäsittelytiede, Datavetenskap

File Description: application/pdf

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

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