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

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

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

Autoři: Zhe Fan Feng Qiu Kaufman, Arie E.

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

Témata: *COMPUTER programming, COMPUTER graphics, VISUALIZATION, IMAGE processing, DIGITAL electronics, IMAGING systems

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

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

Semantics of Transactional Memory and Automatic Mutual Exclusion.

Autoři: Abadi, Martín Birrell, Andrew Harris, Tim a další

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

Témata: SEMANTICS, TRANSACTIONAL analysis, SOFTWARE compatibility, COMPUTER systems, COMPUTER multitasking, PARALLEL programming, COMPUTER programming management, COMPUTER simulation, COMPUTER storage devices

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

Autoři: Mattson, Tim Wrinn, Michael

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

Témata: COMPUTER industry, COMPUTER software development, COMPUTER engineers, SOFTWARE architecture, PARALLEL processing

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

Autoři: Paulin, Pierre

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

Témata: MULTIPROCESSORS, MULTICORE processors, PARALLEL programming, COMPUTATIONAL photography, ELECTRONIC systems, DECODERS (Electronics)

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

Autoři: PAULIN, PIERRE G. ÖZCAN, ALI ERDEM GAGNÉ, VINCENT a další

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

Témata: PARALLEL programming, SOFTWARE patterns, MULTIPROCESSORS, ITERATIVE methods (Mathematics), MULTICORE processors, MATHEMATICAL optimization

Combinatorially Implosive Algorithms.

Autoři: Kornfeld, William A. McIlroy, M. Douglas

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

Témata: 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.

Autoři: MACDONALD, STEVE TAN, KAI SCHAEFFER, JONATHAN a další

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

Témata: 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.

Autoři: VAN NIEUWPOORT, ROB V. WRZESIŃSKA, GOSIA JACOBS, CERIEL J. H. a další

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

Témata: GRID computing, DYNAMIC programming, JAVA programming language, PARALLEL programming, COMPUTER multitasking, DISTRIBUTED computing, ALGORITHMS

Register Efficient Dynamic Memory Allocator for GPUs.

Autoři: Vinkler, M. Havran, V.

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

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

Engineering Parallel Applications with Tunable Architectures.

Autoři: Schaefer, Christoph A. Pankratius, Victor Tichy, Walter F.

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

Témata: COMPUTER architecture, COMPUTER software development, PARALLEL programming, COMPUTER programming, COMPUTER input-output equipment

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

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

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

The Cilk++ Concurrency Platform.

Autoři: Leiserson, Charles E.

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

Témata: COMPUTER programming, MULTICORE processors, SIMULTANEOUS multithreading processors, PARALLEL processing, PARALLEL programming, COMPUTER engineering

Developing a Concurrent Service Orchestration Engine in CCR.

Autoři: Wei Lu Gunarathne, Thilina Cannon, Dennis

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

Témata: COMPUTER programming, WEB services, INFORMATION technology, ELECTRONIC systems, SOFTWARE engineering

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

Autoři: Otto, Frank Moschny, Thomas

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

Témata: SYNCHRONIZATION, TIME measurements, JAVA programming language, OPEN source software, COMPUTER software industry

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

Autoři: Bagherzadeh, Mehdi Rajan, Hridesh

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

Transactional Memory: From Semantics to Silicon.

Autoři: Adl-Tabatabai, Ali-Reza

Zdroj: ICSE: International Conference on Software Engineering; 2008, p1-1, 1p

Témata: SOFTWARE architecture, PARALLEL programming, COMPUTER storage devices, JAVA programming language, SOFTWARE engineering