Suchergebnisse - concurrent ((programming—parallel OR prograing—parallel) OR prograing—parallel) program- ming~

Reducing contention through priority updates

Autoren: Julian Shun Guy E. Blelloch Jeremy T. Fineman et al.

Weitere Verfasser: Julian Shun Guy E. Blelloch Jeremy T. Fineman et al.

Quelle: http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf.

Schlagwörter: Categories and Subject Descriptors, D.1.3 [Program- ming Techniques, Concurrent Programming—Parallel pro- gramming Keywords, Memory Contention, Parallel Programming Permission to make digital or hard copies of

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8075; http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8075
http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf

Kendo: Efficient Deterministic Multithreading in Software

Autoren: Marek Olszewski Jason Ansel Saman Amarasinghe et al.

Weitere Verfasser: Marek Olszewski Jason Ansel Saman Amarasinghe et al.

Quelle: http://people.csail.mit.edu/mareko//asplos073-olszewski.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Program- ming, D.2.5 [Software Engineering, Testing and Debug- ging – Debugging Aids, D.4.1 [Operating Systems, Pro- cess Management – Synchronization General Terms Design, Reliability, Performance Keywords Deterministic Multithreading, Determinism, Parallel Programming, Debugging, Multicore

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.506.3175
http://people.csail.mit.edu/mareko//asplos073-olszewski.pdf

Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding

Autoren: Michael Roitzsch Technische Universität Dresden The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Michael Roitzsch Technische Universität Dresden The Pennsylvania State University CiteSeerX Archives

Quelle: http://os.inf.tu-dresden.de/papers_ps/roitzsch07-h264multicore.pdf.

Schlagwörter: Categories and Subject Descriptors C.4 [Performance of Systems, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming General Terms Algorithms, Performance Keywords H.264, Video Encoding, Slices, Multicore, Scalability

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.585.4275
http://os.inf.tu-dresden.de/papers_ps/roitzsch07-h264multicore.pdf

Avalanche: A Fine-Grained Flow Graph Model for Irregular Applications on Distributed-Memory Systems

Autoren: Jeremiah J. Willcock Ryan R. Newton Andrew Lumsdaine et al.

Weitere Verfasser: Jeremiah J. Willcock Ryan R. Newton Andrew Lumsdaine et al.

Quelle: http://www.cs.indiana.edu/~rrnewton/papers/2012-FHPC_avalanche.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.1.3 [Program- ming Techniques, Concurrent Programming—Parallel Program- ming, D.3.2 [Programming Languages, Language Classifications— Data-Flow Languages General Terms Design, Performance Keywords Data flow programming, irregular applications, distributed- memory

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.642.5301
http://www.cs.indiana.edu/~rrnewton/papers/2012-FHPC_avalanche.pdf

Objects as Session-Typed Processes

Autoren: Stephanie Balzer Frank Pfenning The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Stephanie Balzer Frank Pfenning The Pennsylvania State University CiteSeerX Archives

Quelle: http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/agere15.pdf.

Schlagwörter: Categories and Subject Descriptors D.1 [Programming Techniques, Concurrent Programming—Parallel program- ming, D.1 [Programming Techniques, Object-oriented Programming Keywords object, session types, linear types, process, pro

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.2702
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/agere15.pdf

Smart, Adaptive Mapping of Parallelism in the Presence of External Workload

Autoren: Murali Krishna Emani Zheng Wang Michael et al.

Weitere Verfasser: Murali Krishna Emani Zheng Wang Michael et al.

Quelle: http://homepages.inf.ed.ac.uk/s0975516/files/CGO-paper-final.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.4 [Program- ming Languages, Processors—Compilers, Optimization, Run-time environments, D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming Keywords Parallelism Mapping, Runtime adaptation, Ma- chine Learning

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.6430
http://homepages.inf.ed.ac.uk/s0975516/files/CGO-paper-final.pdf

Polytechnic University

Autoren: Matthew B. Dwyer Lori A. Clarke Jamieson M. Cobleigh et al.

Weitere Verfasser: Matthew B. Dwyer Lori A. Clarke Jamieson M. Cobleigh et al.

Quelle: http://laser.cs.umass.edu/courses/cs521-621/papers/p359-dwyer.pdf.

Schlagwörter: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.7345
http://laser.cs.umass.edu/courses/cs521-621/papers/p359-dwyer.pdf

Computer

Autoren: Guillermo L. Taboada Juan Touriño Ramón Doallo et al.

Weitere Verfasser: Guillermo L. Taboada Juan Touriño Ramón Doallo et al.

Quelle: http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Object-oriented languages, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming, C.4 [Performance of Systems, Performance at- tributes, Measurement techniques, C.2.5 [Computer-Co- mmunication Networks, Local and Wide-Area Networks— High-speed, Ethernet

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7638; http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7638
http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf

R.: Deterministic Parallelism via Liquid Effects

Autoren: Ming Kawaguchi Patrick Rondon Alexander Bakst et al.

Weitere Verfasser: Ming Kawaguchi Patrick Rondon Alexander Bakst et al.

Quelle: http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation, D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152; http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.6152
http://goto.ucsd.edu/~rjhala/papers/deterministic_parallelism_via_liquid_effects.pdf

Deterministic Parallelism via Liquid Effects ∗

Autoren: Ming Kawaguchi Patrick Rondon Alexander Bakst et al.

Weitere Verfasser: Ming Kawaguchi Patrick Rondon Alexander Bakst et al.

Quelle: http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf.

Schlagwörter: Techniques, Concurrent Programming – Parallel Programming General Terms Languages, Reliability, Verification Keywords Liquid Types, Type Inference, Dependent Types, Safe Parallel Programming, Determinism

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.5773
http://goto.ucsd.edu/%7Epmr/papers/liquid-effects-pldi12.pdf

Using Asyncio in Python : Understanding Python's Asynchronous Programming Features

Autoren: Caleb Hattingh

Resource Type: eBook.

Schlagworte: Computer multitasking, Application program interfaces (Computer software), Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Computer Architecture, COMPUTERS / Programming / Parallel

VIZIR: an integrated environment for distributed program visualization.

Autoren: Hao, M.C. Karp, A.H. Waheed, A. et al.

Quelle: MASCOTS '95 Proceedings of the Third International Workshop on Modeling, Analysis & Simulation of Computer & Telecommunication Systems; 1995, p288-292, 5p

Concurrency in C# Cookbook : Asynchronous, Parallel, and Multithreaded Programming

Autoren: Stephen Cleary

Resource Type: eBook.

Schlagworte: C# (Computer program language), Data structures (Computer science), Computer programming

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Parallel, COMPUTERS / Programming / Microsoft

Rust Atomics and Locks : Low-Level Concurrency in Practice

Autoren: Mara Bos

Resource Type: eBook.

Schlagworte: Rust (Computer program language), Computer programming

Categories: COMPUTERS / Programming / Parallel, COMPUTERS / Computer Science, COMPUTERS / Operating Systems / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Parallel Processing

Computer Science in the Conceptual Age. (cover story)

Autoren: ZYDA, MICHAEL

Quelle: Communications of the ACM; Dec2009, Vol. 52 Issue 12, p66-72, 7p, 4 Color Photographs, 1 Diagram

Schlagwörter: COMPUTER science education, HIGHER education, COLLEGE curriculum, COMPUTER game programming, VIDEO game development, SYSTEMS design, UNITED States economy, 1981-2001, UNITED States economy, 2001-2009

Geografische Kategorien: UNITED States

A data-driven machine for OR-parallel evaluation of logic programs.

Autoren: Halim, Zahran

Quelle: New Generation Computing; Mar1986, Vol. 4 Issue 1, p5-33, 29p

Atomicity Refinement for Verified Compilation.

Autoren: JAGANNATHAN, SURESH LAPORTE, VINCENT PETRI, GUSTAVO et al.

Quelle: ACM Transactions on Programming Languages & Systems; Apr2014, Vol. 36 Issue 2, p6:1-6:30, 30p

UBIQUITOUS PARALLEL COMPUTING FROM BERKELEY, ILLINOIS, AND STANFORD.

Autoren: Catanzaro, Bryan Fox, Armando Keutzer, Kurt et al.

Quelle: IEEE Micro; Mar/Apr2010, Vol. 30 Issue 2, p41-55, 15p, 4 Diagrams

Schlagwörter: COMPUTER science research, PARALLEL programming, PARALLEL programs (Computer programs), SOFTWARE architecture, WEB-based user interfaces, USER interfaces

Concurrency in C# Cookbook : Asynchronous, Parallel, and Multithreaded Programming

Autoren: Cleary, Stephen Troutman, Ellen Comer, Randy et al.

Resource Type: eBook.

Schlagworte: C (Computer program language)

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / General, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Parallel, COMPUTERS / Programming / Microsoft

A Systematic Survey of Program Comprehension through Dynamic Analysis.

Autoren: Cornelissen, Bas Zaidman, Andy Deursen, Arie van et al.

Quelle: IEEE Transactions on Software Engineering; Sep/Oct2009, Vol. 35 Issue 5, p684-702, 19p, 1 Diagram, 4 Charts, 2 Graphs

Schlagwörter: SOFTWARE refactoring, SOFTWARE maintenance, COMPUTER programming, COMPUTER software development, SOFTWARE engineering