Výsledky vyhledávání - concurrent program- (ming—parallel OR ing—parallel) (programming OR prograing)~

F.: Dynamic detection of atomic-set-serializability violations

Autoři: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Přispěvatelé: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Zdroj: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

Brief announcement: transaction polymorphism

Autoři: Vincent Gramoli Rachid Guerraoui The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Vincent Gramoli Rachid Guerraoui The Pennsylvania State University CiteSeerX Archives

Zdroj: http://infoscience.epfl.ch/record/178593/files/brief_ann_trans_polym_p311-gramoli.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel programming, D.3.3 [Programming Lan- guages, Language Constructs and Features—Abstract data types, Concurrent programming structures, D.3.2 [Software Engineering, Reusable Software—Reusable libraries General Terms Algorithms, Theory, Languages, Performance Keywords Concurrency, Library 1. TRANSACTIONS FOR EXPERTS

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.711
http://infoscience.epfl.ch/record/178593/files/brief_ann_trans_polym_p311-gramoli.pdf

Software engineering for multicore systems: an experience report

Autoři: Victor Pankratius Christoph Schaefer Ali Jannesari a další

Přispěvatelé: Victor Pankratius Christoph Schaefer Ali Jannesari a další

Zdroj: http://cs.anu.edu.au/student/comp8320/refs/SEexpMC08.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel programming, D.2.11 [Software Engineer- ing, Software Architectures —Patterns General Terms Experimentation, Performance, Design, Algorithms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.9170; http://cs.anu.edu.au/student/comp8320/refs/SEexpMC08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.9170
http://cs.anu.edu.au/student/comp8320/refs/SEexpMC08.pdf

High-performance code generation for stencil computations on GPU architectures

Autoři: Justin Holewinski Louis-noël Pouchet The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Justin Holewinski Louis-noël Pouchet The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucla.edu/%7Epouchet/doc/ics-article.12.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming techniques, Concurrent program- ming—Parallel Programming, D.3.4 [Programming Lan- guages, Processors—Code Generation, Compilers Keywords GPU, OpenCL, Overlapped Tiling, Stencils, DSL

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.4449
http://www.cs.ucla.edu/%7Epouchet/doc/ics-article.12.pdf

Overview of the Vesta parallel file system

Autoři: Peter F. Corbett Dror G. Feitelson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Peter F. Corbett Dror G. Feitelson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.csie.fju.edu.tw/~yeh/research/papers/storage-reading-list/corbett-tocs96.pdf.

Témata: Categories and Subject Descriptors, C.1.2 [Processor Architectures, Multiple Data Stream Architectures—parallel processors, D.1.3 [Programming Techniques, Concurrent Program- ming—parallel programming, D.4.1 [Operating Systems, Process Management—concur- rency, D.4.3 [Operating Systems, File Systems Management, D.4.4 [Operating Systems, Communications Management—input/output, E.5 [Data, Files—organization/structure, sorting/searching General Terms, Design, Performance Additional Key Words and Phrases, Data partitioning, parallel computing, parallel file system

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.506.7857
http://www.csie.fju.edu.tw/~yeh/research/papers/storage-reading-list/corbett-tocs96.pdf

What is the Cost of Weak Determinism?

Autoři: Cedomir Segulja Tarek S. Abdelrahman The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cedomir Segulja Tarek S. Abdelrahman The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecg.toronto.edu/~seguljac/papers/pact2014_cedomir.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.8 [Software Engineer- ing, Metrics—Performance Measures, D.3.4 [Programming Languages, Processors—Run-time Environments Keywords determinism

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.911; http://www.eecg.toronto.edu/~seguljac/papers/pact2014_cedomir.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.911
http://www.eecg.toronto.edu/~seguljac/papers/pact2014_cedomir.pdf

An Evaluation of Parallel Eccentricity Estimation Algorithms on Undirected Real-World Graphs Julian

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.eecs.berkeley.edu/%7Ejshun/kdd-final.pdf.

Témata: Categories and Subject Descriptors H.2.8 [Database Management, Database Applications—Data Mining, D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming General Terms Algorithms, Experimentation, Measurement, Performance

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4611
http://www.eecs.berkeley.edu/%7Ejshun/kdd-final.pdf

Stochastic Gradient Descent on GPUs∗

Autoři: Rashid Kaleem Sreepathi Pai Keshav Pingali a další

Přispěvatelé: Rashid Kaleem Sreepathi Pai Keshav Pingali a další

Zdroj: http://iss.ices.utexas.edu/Publications/Papers/kaleem-2015-SGD-GPU.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel programming, E.1 [Data Structures, Graphs and Networks General Terms Algorithms, Design, Performance Keywords GPGPU, Stochastic Gradient Descent, Edge-coloring

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.3557
http://iss.ices.utexas.edu/Publications/Papers/kaleem-2015-SGD-GPU.pdf

KLA: A New Algorithmic Paradigm for Parallel Graph Computations

Autoři: Harshvardhan Adam Fidel Nancy M. Amato a další

Přispěvatelé: Harshvardhan Adam Fidel Nancy M. Amato a další

Zdroj: https://parasol.tamu.edu/publications/download.php?file_id=877.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.13 [Software Engineer- ing, Reusable Software—Reusable Libraries Keywords Parallel Algorithms, Asynchronous Graph Algorithms, Graph Analytics, Big Data, Distributed Computing

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8315

The Parallel Execution of DO Loops.

Autoři: Lamport, Leslie Manacher, G.

Zdroj: Communications of the ACM; Feb1974, Vol. 17 Issue 2, p83-93, 11p, 2 Charts, 3 Graphs

Témata: PARALLEL computers, COMPILERS (Computer programs), COMPUTERS, SYSTEMS software, MULTIPROCESSORS, COMPUTER programming

Falcon: Fault Localization in Concurrent Programs.

Autoři: Park, Sangmin Vuduc, Richard W. Harrold, Mary Jean

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

Témata: COMPUTER software, JAVA programming language, PROTOTYPES, FAULT location (Engineering), COMPUTER programming

SRF Coloring: Stream Register File Allocation via Graph Coloring.

Autoři: Xue-Jun Yang Yu Deng Li Wang a další

Zdroj: Journal of Computer Science & Technology (10009000); Jan2009, Vol. 24 Issue 1, p152-164, 13p

Témata: GRAPH coloring, INTEGRATED circuits, PROGRAMMING languages, COMPILERS (Computer programs), AUTOMATION, SOFTWARE architecture, ALGORITHMS

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

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

A Concurrent, Distributed Architecture for Diagnostic Reasoning.

Autoři: Cerri, Stefano Loia, Vincenzo

Zdroj: User Modeling & User-Adapted Interaction; Jun1997, Vol. 7 Issue 3, p69-105, 37p

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

Autoři: Dillon, Laura K. Stirewalt, R. E. K. Kraemer, Eileen a další

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

Témata: THREADS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER software development, SOFTWARE engineering

Navy Force Structure and Shipbuilding Plans: Background and Issues for Congress.

Autoři: O'Rourke, Ronald

Zdroj: Congressional Research Service: Report; 10/20/2021, preceding p1-95, 99p

Témata: SHIPBUILDING, DEFENSE procurement, FEDERAL budgets

Korporace: UNITED States. Navy, UNITED States. Congress

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

Efficient reachability testing of asynchronous message-passing programs.

Autoři: Yu Lei Kuo-Chung Tai

Zdroj: Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002; 2002, p35-44, 10p

OpenMP-oriented applications for distributed shared memory architectures.

Autoři: Marowka, Ami Zhenying Liu Chapman, Barbara

Zdroj: Concurrency & Computation: Practice & Experience; Apr2004, Vol. 16 Issue 4, p371-384, 14p, 6 Diagrams, 2 Charts, 1 Graph

Témata: COMPUTER programming, DISTRIBUTED shared memory, COMPUTER memory management, COMPUTER software, DATABASE management, PARALLEL computers