Search Results - D.1.3 [Software]: Programming Techniques-Concurrent programming~

A Fully Automated Fault-tolerant System for Distributed

Authors: Video Processing And George Kola Tevfik Kosar et al.

Contributors: Video Processing And George Kola Tevfik Kosar et al.

Source: http://www.cs.wisc.edu/condor/stork/papers/video_pipeline-nossdav2004.ps.

Subject Terms: Categories and Subject Descriptors, D.1.3 [Software, Programming Techniques- Concurrent Programming General Terms, Performance, Design, Reliability, Experimentation Key Words, Video processing, data pipelines, distributed systems, clusters, off-site replication, fault-tolerance, grid, educational research

File Description: application/postscript

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.1496
http://www.cs.wisc.edu/condor/stork/papers/video_pipeline-nossdav2004.ps

Practical experience in the numerical dangers of heterogeneous computing

Authors: Blackford, L. S. Cleary, A. Petitet, A. et al.

Source: Blackford, L S, Cleary, A, Petitet, A, Whaley, R C, Demmel, J, Dhillon, I, Ren, H, Stanley, K, Dongarra, J & Hammarling, S 1997, 'Practical Experience in the Numerical Dangers of Heterogeneous Computing', ACM Transactions on Mathematical Software, vol. 23, no. 2, pp. 133-147. < http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97 >

Subject Terms: 0301 basic medicine, Network design and communication in computer systems, Parallel algorithms, Floating-point arithmetic, Distributed-memory systems, Reliability, heterogeneous computing, 01 natural sciences, 7. Clean energy, 03 medical and health sciences, D.1.3 [Programming Techniques]: Concurrent Programming - distributed programming, G.1.0 [Numerical Analysis]: General - computer arithmetic, 0101 mathematics, Algorithms

File Description: application/xml

Access URL: http://www.shuman.org/network/paper/ACM_Math_June97v23n2p133.pdf
https://zbmath.org/1113649
https://doi.org/10.1145/264029.264030
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
https://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://www.cs.utexas.edu/users/inderjit/public_papers/acmtoms_dangers.pdf
https://dl.acm.org/doi/10.1145/264029.264030
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:1h154
https://www.research.manchester.ac.uk/portal/en/publications/practical-experience-in-the-numerical-dangers-of-heterogeneous-computing(b0c05d35-1d8b-4ecb-8b84-8f9254f87b16).html
http://www.netlib.org/utk/people/JD/JackDongarra/PAPERS/087_1997_practical-experience-in-the-numerical-dangers-of-heterogeneous.pdf
http://dblp.uni-trier.de/db/journals/toms/toms23.html#BlackfordCPWDDRSDH97
https://research.manchester.ac.uk/en/publications/b0c05d35-1d8b-4ecb-8b84-8f9254f87b16
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97.xml
http://dblp.uni-trier.de/rec/bibtex/journals/toms/BlackfordCPWDDRSDH97

DOCASE: A METHODIC APPROACH TO DISTRIBUTED PROGRAMMING.

Source: Communications of the ACM; Sep93, Vol. 36 Issue 9, p127-138, 12p

Subject Terms: COMPUTER-aided software engineering, DISTRIBUTED computing, OBJECT-oriented methods (Computer science), OBJECT-oriented programming, COMPUTER software development, SYSTEMS design, APPLICATION software

COOL: SYSTEM SUPPORT FOR DISTRIBUTED PROGRAMMING.

Source: Communications of the ACM; Sep93, Vol. 36 Issue 9, p37-46, 10p

Subject Terms: OBJECT-oriented programming, COMPUTER operating systems, C++, OBJECT-oriented methods (Computer science), COMPUTER networks, GROUPWARE (Computer software)

Company/Entity: FRENCH Telecom SA

Split-Ordered Lists: Lock-Free Extensible Hash Tables.

Authors: Shalev, Ori Shavit, Nir

Source: Journal of the ACM; May2006, Vol. 53 Issue 3, p397-405, 27p

Subject Terms: HASHING, ALGORITHMS, COMPUTER programming, SOURCE code, COMPUTER software

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

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

Experiences in Initiating Concurrency Software Research Efforts.

Authors: Harper, K. Eric Jiang Zheng Mahate, Shakeel

Source: ICSE: International Conference on Software Engineering; 2010, p139-148, 10p, 3 Diagrams, 1 Chart, 1 Graph

Subject Terms: COMPUTER software, MOTHERBOARDS, COMPUTER programming, HIGH technology industries, COMPUTER architecture

A Programming Model for Concurrent Object-Oriented Programs.

Authors: JACOBS, BART PIESSENS, FRANK SMANS, JAN et al.

Source: ACM Transactions on Programming Languages & Systems; Jan2009, Vol. 31 Issue 1, p1:1-1:48, 48p, 1 Diagram, 13 Charts

Subject Terms: JAVA programming language, PROGRAMMING languages, C (Computer program language), SYNCHRONIZATION, TIME measurements, COMPUTER software, COMPUTER programming, OBJECT-oriented programming

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

Authors: Singler, Johannes Kosnik, Benjamin

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

Subject Terms: C++, SOFTWARE engineering, ALGORITHMS, COMPUTER programming, COMPUTER users

MAPS: An Integrated Framework for MPSoC Application Parallelization.

Authors: Ceng, J. Castrillon, J. Sheng, W. et al.

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

Subject Terms: PROGRAMMING languages, COMPUTER software, SOFTWARE architecture, COMPUTER programming, COMPUTER science research

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

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

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

Dynamic Detection of Atomic-Set-Serializability Violations.

Authors: Hammer, Christian Dolby, Julian Vaziri, Mandana et al.

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

Subject Terms: COMPUTER software, COMPUTER programming, SOFTWARE engineering, INFORMATION technology, ERRORS

Falcon: Fault Localization in Concurrent Programs.

Authors: Park, Sangmin Vuduc, Richard W. Harrold, Mary Jean

Source: ICSE: International Conference on Software Engineering; 2010, p245-254, 10p, 2 Diagrams, 5 Charts, 1 Graph

Subject Terms: COMPUTER software, JAVA programming language, PROTOTYPES, FAULT location (Engineering), COMPUTER programming

Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.

Authors: Dillon, Laura K. Stirewalt, R. E. K. Kraemer, Eileen et al.

Source: ICSE: International Conference on Software Engineering; 2008, p33-38, 6p, 3 Diagrams, 1 Chart

Subject Terms: THREADS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering

Ternary Sparse Matrix Representation for Volumetric Mesh Subdivision and Processing on GPUs.

Authors: Mueller‐Roemer, J. S. Altenhofen, C. Stork, A.

Source: Computer Graphics Forum. Aug2017, Vol. 36 Issue 5, p59-69. 11p.

Subject Terms: *SPARSE matrix software, *VOLUMETRIC analysis, *GRAPHICS processing units, *MESH networks, *TERNARY system

A Formal Model of Services.

Authors: Broy, Manfred Krüger, Ingolf H. Meisinger, Michael

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

Subject Terms: SOFTWARE architecture, DISTRIBUTED computing, FOCUS (Computer program language), PROGRAMMING languages, COMPUTER software

Model Checking the Java Metalocking Algorithm.

Authors: Basu, Samik Smolka, Scott A.

Source: ACM Transactions on Software Engineering & Methodology; Jul2007, Vol. 16 Issue 3, p1-35, 35p, 7 Diagrams, 14 Charts

Subject Terms: JAVA programming language, ALGORITHMS, OBJECT-oriented programming languages, COMPUTER software development, COMPUTER programming