Výsledky vyhledávání - programming techniques—concurrent programming – par- all programming keywords

CONCURRENT OBJECT-ORIENTED PROGRAMMING.

Zdroj: Communications of the ACM; Sep90, Vol. 33 Issue 9, p125-141, 17p, 15 Diagrams

Témata: OBJECT-oriented programming, COMPUTER software development, COMPUTER multitasking

On Specification of Read/Write Shared Variables.

Autoři: Haldar, Sibsankar Vidyasankar, K.

Zdroj: Journal of the ACM; Dec2007, Vol. 54 Issue 6, p1-19, 19p, 1 Diagram

Témata: AXIOMS, MULTIPROCESSORS, MATHEMATICAL variables, MULTIPROGRAMMING (Electronic computers), COMPUTER programming, COMPUTER storage devices

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

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

Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study.

Autoři: BARKATI, KARIM JOUVELOT, PIERRE

Zdroj: ACM Computing Surveys; Nov2013, Vol. 46 Issue 2, p24:1-24:35, 35p, 2 Diagrams, 5 Charts, 1 Graph

Témata: PROGRAMMING languages, COMPUTER software, DESIGN, LANGUAGE & languages, COMPUTER composition

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

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

Dynamic Detection of Atomic-Set-Serializability Violations.

Autoři: Hammer, Christian Dolby, Julian Vaziri, Mandana a další

Zdroj: ICSE: International Conference on Software Engineering; 2008, p231-240, 10p, 4 Diagrams, 3 Charts

Témata: COMPUTER software, COMPUTER programming, SOFTWARE engineering, INFORMATION technology, ERRORS

Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism.

Autoři: TZANNES, ALEXANDROS CARAGEA, GEORGE C. VISHKIN, UZI a další

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2014, Vol. 36 Issue 3, p10:1-10:51, 51p

Témata: PARALLEL scheduling (Computer scheduling), PARALLEL processing, PARALLEL programming, LOAD balancing (Computer networks), PROGRAMMING languages

The GNU libstdc++ parallel mode: Software Engineering Considerations.

Autoři: Singler, Johannes Kosnik, Benjamin

Zdroj: ICSE: International Conference on Software Engineering; 2008, p15-22, 8p, 2 Diagrams, 1 Chart

Témata: C++, SOFTWARE engineering, ALGORITHMS, COMPUTER programming, COMPUTER users

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

Parallelizing Sequential Programs with Statistical Accuracy Tests.

Autoři: MISAILOVIC, SASA KIM, DEOKHWAN RINARD, MARTIN

Zdroj: ACM Transactions on Embedded Computing Systems; May2013 Supplement 2, Vol. 12, p1-26, 26p

Témata: PARALLELIZING compilers, COMPUTER software, SEMANTICS, PARALLEL programs (Computer programs), OBJECT-oriented programming, APPLICATION software

MAPS: An Integrated Framework for MPSoC Application Parallelization.

Autoři: Ceng, J. Castrillon, J. Sheng, W. a další

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p754-759, 6p, 1 Color Photograph, 4 Diagrams, 1 Chart

Témata: PROGRAMMING languages, COMPUTER software, SOFTWARE architecture, COMPUTER programming, COMPUTER science research

Design and programming of embedded multiprocessors: an interface-centric approach.

Autoři: van der Wolf, P. de Kock, E. Henriksson, T. a další

Zdroj: International Conference on Hardware/Software Codesign & System Synthesis, 2004. CODES + ISSS 2004; 2004, p206-217, 12p

Scalable Multimedia Content Analysis on Parallel Platforms Using Python.

Autoři: GONINA, EKATERINA FRIEDLAND, GERALD BATTENBERG, ERIC a další

Zdroj: ACM Transactions on Multimedia Computing, Communications & Applications; Feb2014, Vol. 10 Issue 2, p1-22, 22p

Témata: MULTIMEDIA systems, PARALLEL computers, PYTHON programming language, CONSUMERS, COMPUTATIONAL complexity, CODING theory

A Formal Model of Services.

Autoři: Broy, Manfred Krüger, Ingolf H. Meisinger, Michael

Zdroj: ACM Transactions on Software Engineering & Methodology; Feb2007, Vol. 16 Issue 1, p1-40, 40p, 19 Diagrams, 1 Chart

Témata: SOFTWARE architecture, DISTRIBUTED computing, FOCUS (Computer program language), PROGRAMMING languages, COMPUTER software

Self-Stabilization Preserving Compiler.

Autoři: DOLEV, SHLOMI HAVIV, YINNON SAGIV, MOOLY

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p22-22:42, 42p, 3 Diagrams, 23 Charts

Témata: SELF-stabilization (Computer science), COMPUTER systems, ALGORITHMS, COMPUTER network protocols, MICROPROCESSORS, PROGRAMMING languages

Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions.

Autoři: Zhang, Jiange Yi, Qing Peterson, Christina a další

Zdroj: Concurrency & Computation: Practice & Experience; 2/29/2024, Vol. 36 Issue 5, p1-27, 27p

Témata: DATA structures, COMPILERS (Computer programs), SYNCHRONIZATION, C++

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

Autoři: WELCH, PETER H. PEDERSEN, JAN B.

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

Témata: MULTICORE processors, SIMULTANEOUS multithreading processors, COMPUTER multitasking, PARALLEL processing, SOFTWARE verification, COMPUTER software correctness