Výsledky vyhľadávania - concurrent program- (ming—parallel OR ing—parallel) (programming OR programing)~

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

Autori: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a ďalší

Prispievatelia: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Vincent Gramoli Rachid Guerraoui The Pennsylvania State University CiteSeerX Archives

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

High-performance code generation for stencil computations on GPU architectures

Autori: Justin Holewinski Louis-noël Pouchet The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Justin Holewinski Louis-noël Pouchet The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

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

Software engineering for multicore systems: an experience report

Autori: Victor Pankratius Christoph Schaefer Ali Jannesari a ďalší

Prispievatelia: Victor Pankratius Christoph Schaefer Ali Jannesari a ďalší

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

Predmety: 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 súboru: 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

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

Falcon: Fault Localization in Concurrent Programs.

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

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

Overview of the Vesta parallel file system

Autori: Peter F. Corbett Dror G. Feitelson The Pennsylvania State University CiteSeerX Archives

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

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

Autori: Otto, Frank Moschny, Thomas

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

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

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

Autori: Dillon, Laura K. Stirewalt, R. E. K. Kraemer, Eileen a ďalší

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

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

The Parallel Execution of DO Loops.

Autori: Lamport, Leslie Manacher, G.

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

Predmety: PARALLEL computers, COMPILERS (Computer programs), COMPUTERS, SYSTEMS software, MULTIPROCESSORS, COMPUTER programming

Dynamic Detection of Atomic-Set-Serializability Violations.

Autori: Hammer, Christian Dolby, Julian Vaziri, Mandana a ďalší

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

Predmety: COMPUTER software, COMPUTER programming, SOFTWARE engineering, INFORMATION technology, ERRORS

What is the Cost of Weak Determinism?

Autori: Cedomir Segulja Tarek S. Abdelrahman The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Cedomir Segulja Tarek S. Abdelrahman The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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∗

Autori: Rashid Kaleem Sreepathi Pai Keshav Pingali a ďalší

Prispievatelia: Rashid Kaleem Sreepathi Pai Keshav Pingali a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Harshvardhan Adam Fidel Nancy M. Amato a ďalší

Prispievatelia: Harshvardhan Adam Fidel Nancy M. Amato a ďalší

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

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

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

Engineering Parallel Applications with Tunable Architectures.

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

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

Building and Solving Large-Scale Stochastic Programs on an Affordable Distributed Computing System.

Autori: Fragnière, Emmanuel Gondzio, Jacek Vial, Jean-Philippe

Zdroj: Annals of Operations Research; 2000, Vol. 99 Issue 1-4, p167-187, 21p, 1 Diagram, 5 Charts, 2 Graphs

Predmety: STOCHASTIC programming, LINEAR programming, STOCHASTIC models, MATRICES (Mathematics), MATHEMATICS, MATHEMATICAL variables

SRF Coloring: Stream Register File Allocation via Graph Coloring.

Autori: Xue-Jun Yang Yu Deng Li Wang a ďalší

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

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

Semantics of Transactional Memory and Automatic Mutual Exclusion.

Autori: Abadi, Martín Birrell, Andrew Harris, Tim a ďalší

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

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

BlockLib: A Skeleton Library for Cell Broadband Engine.

Autori: Ålind, Markus Eriksson, Mattias V. Kessler, Christoph W.

Zdroj: ICSE: International Conference on Software Engineering; 2008, p7-14, 8p, 1 Diagram, 1 Chart, 15 Graphs

Predmety: BROADBAND communication systems, ELECTRONIC information resource searching, SEARCH engines, INTERNET, DATABASE searching

Optimizing the Reliability of Streaming Applications Under Throughput Constraints.

Autori: Benoit, Anne Bouziane, Hinde Robert, Yves

Zdroj: International Journal of Parallel Programming; Oct2011, Vol. 39 Issue 5, p584-614, 31p, 8 Diagrams, 4 Charts, 2 Graphs

Predmety: STREAMING technology software, LINEAR programming, SYSTEMS engineering, HETEROGENEOUS computing, CARTOGRAPHY software, PROGRAM transformation