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

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

Zippy: A Framework for Computation and Visualization on a GPU Cluster.

Authors: Zhe Fan Feng Qiu Kaufman, Arie E.

Source: Computer Graphics Forum. Apr2008, Vol. 27 Issue 2, p341-350. 10p. 4 Color Photographs, 5 Diagrams, 1 Chart, 4 Graphs.

Subject Terms: *COMPUTER programming, COMPUTER graphics, VISUALIZATION, IMAGE processing, DIGITAL electronics, IMAGING systems

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

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

Semantics of Transactional Memory and Automatic Mutual Exclusion.

Authors: Abadi, Martín Birrell, Andrew Harris, Tim et al.

Source: ACM Transactions on Programming Languages & Systems; Jan2011, Vol. 33 Issue 1, p2:1-2:50, 50p

Subject Terms: SEMANTICS, TRANSACTIONAL analysis, SOFTWARE compatibility, COMPUTER systems, COMPUTER multitasking, PARALLEL programming, COMPUTER programming management, COMPUTER simulation, COMPUTER storage devices

Soft Concurrent Constraint Programming.

Authors: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Source: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Subject Terms: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

Register Efficient Dynamic Memory Allocator for GPUs.

Authors: Vinkler, M. Havran, V.

Source: Computer Graphics Forum. Dec2015, Vol. 34 Issue 8, p143-154. 12p. 2 Diagrams, 8 Charts, 3 Graphs.

Subject Terms: *GRAPHICS processing units, *COMPUTER storage devices, *DATA structures, *COMPUTER input-output equipment design & construction, *PERFORMANCE evaluation

Developing a Concurrent Service Orchestration Engine in CCR.

Authors: Wei Lu Gunarathne, Thilina Cannon, Dennis

Source: ICSE: International Conference on Software Engineering; 2008, p61-68, 8p, 5 Diagrams, 1 Graph

Subject Terms: COMPUTER programming, WEB services, INFORMATION technology, ELECTRONIC systems, SOFTWARE engineering

Finding Synchronization Defects in Java Programs: Extended Static Analyses and Code Patterns.

Authors: Otto, Frank Moschny, Thomas

Source: ICSE: International Conference on Software Engineering; 2008, p41-46, 6p, 1 Diagram, 4 Charts

Subject Terms: SYNCHRONIZATION, TIME measurements, JAVA programming language, OPEN source software, COMPUTER software industry

Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference.

Authors: Bagherzadeh, Mehdi Rajan, Hridesh

Source: Aspect-oriented Software Development; 3/16/15, p93-108, 16p

Santa Claus: Formal Analysis of a Process-Oriented Solution.

Authors: WELCH, PETER H. PEDERSEN, JAN B.

Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p14-14.37, 37p, 6 Diagrams

Subject Terms: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness

Parallel Programming: Can we PLEASE get it right this time?

Authors: Mattson, Tim Wrinn, Michael

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p7-11, 5p, 1 Diagram

Subject Terms: COMPUTER industry, COMPUTER software development, COMPUTER engineers, SOFTWARE architecture, PARALLEL processing

Programming Challenges & Solutions for Multi-Processor SoCs: An Industrial Perspective.

Authors: Paulin, Pierre

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p262-267, 6p, 6 Diagrams

Subject Terms: MULTIPROCESSORS, MULTICORE processors, PARALLEL programming, COMPUTATIONAL photography, ELECTRONIC systems, DECODERS (Electronics)

Parallel Programming Patterns for Multi-Processor SoC: Application to Video Processing.

Authors: PAULIN, PIERRE G. ÖZCAN, ALI ERDEM GAGNÉ, VINCENT et al.

Source: ACM Transactions on Embedded Computing Systems; Jan2013, Vol. 12 Issue 1, p1-25, 25p

Subject Terms: PARALLEL programming, SOFTWARE patterns, MULTIPROCESSORS, ITERATIVE methods (Mathematics), MULTICORE processors, MATHEMATICAL optimization

Combinatorially Implosive Algorithms.

Authors: Kornfeld, William A. McIlroy, M. Douglas

Source: Communications of the ACM; Oct82, Vol. 25 Issue 10, p734-738, 5p, 1 Diagram

Subject Terms: PARALLEL processing, ELECTRONIC data processing, COMPUTER programming, PARALLEL programming, COMBINATORICS, ALGORITHMS

Deferring Design Pattern Decisions and Automating Structural Pattern Changes Using a Design-Pattern-Based Programming System.

Authors: MACDONALD, STEVE TAN, KAI SCHAEFFER, JONATHAN et al.

Source: ACM Transactions on Programming Languages & Systems; Apr2009, Vol. 31 Issue 3, p9:1-9:49, 49p, 5 Black and White Photographs, 12 Diagrams, 4 Charts

Subject Terms: COMPUTER programming, COMPUTER software development, PARALLEL processing software, PARALLEL programming, COMPUTER programming management, COMPUTER software quality control

Satin: A High-Level and Efficient Grid Programming Model.

Authors: VAN NIEUWPOORT, ROB V. WRZESIŃSKA, GOSIA JACOBS, CERIEL J. H. et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2010, Vol. 32 Issue 3, p9-9.39, 39p, 1 Diagram, 11 Charts, 5 Graphs

Subject Terms: GRID computing, DYNAMIC programming, JAVA programming language, PARALLEL programming, COMPUTER multitasking, DISTRIBUTED computing, ALGORITHMS

Engineering Parallel Applications with Tunable Architectures.

Authors: Schaefer, Christoph A. Pankratius, Victor Tichy, Walter F.

Source: ICSE: International Conference on Software Engineering; 2010, p405-414, 10p, 2 Diagrams, 2 Charts, 1 Graph

Subject Terms: COMPUTER architecture, COMPUTER software development, PARALLEL programming, COMPUTER programming, COMPUTER input-output equipment

The Cilk++ Concurrency Platform.

Authors: Leiserson, Charles E.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jul2009, p522-527, 6p, 1 Color Photograph, 6 Diagrams

Subject Terms: COMPUTER programming, MULTICORE processors, SIMULTANEOUS multithreading processors, PARALLEL processing, PARALLEL programming, COMPUTER engineering