Search Results - Concurrent Programming—Parallel programming Keywords NILS

Oracle

Authors: Sungpack Hong Nicole C. Rodia Kunle Olukotun et al.

Contributors: Sungpack Hong Nicole C. Rodia Kunle Olukotun et al.

Source: http://ppl.stanford.edu/papers/sc13-hong.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming— parallel programming, G.2.2 [Discrete Mathematics, Graph The- ory—graph algorithms General Terms Algorithms, Performance Keywords strongly connected components (SCC, multicore, parallel algo- rithms, graph algorithms

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.499.4972
http://ppl.stanford.edu/papers/sc13-hong.pdf

Functional and Concurrent Programming : Core Concepts and Features

Authors: Michel Charpentier

Resource Type: eBook.

Subjects: Computer multitasking, Object-oriented programming (Computer science)

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#

Learning Concurrent Programming in Scala : Practical Multithreading in Scala

Authors: Aleksandar Prokopec

Resource Type: eBook.

Subjects: Scala (Computer program language), Application software--Development

Categories: COMPUTERS / Languages / Java, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / Parallel

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.

Authors: ŠEVČÍK, JAROSLAV VAFEIADIS, VIKTOR NARDELLI, FRANCESCO ZAPPA et al.

Source: Journal of the ACM; Jun2013, Vol. 60 Issue 3, p1-50, 50p

Subject Terms: COMPILERS (Computer programs), C (Computer program language), SOFTWARE verification, MULTIPROCESSORS, COMPUTER input-output equipment, SOURCE code

Concurrent Programming in Mac OS X and IOS : Unleash Multicore Performance with Grand Central Dispatch

Authors: Vandad Nahavandipoor

Resource Type: eBook.

Subjects: Application software--Development, Macintosh (Computer)--Programming

Categories: COMPUTERS / Programming / Macintosh, COMPUTERS / Programming / Parallel

Concurrency in .NET : Modern Patterns of Concurrent and Parallel Programming

Authors: Riccardo Terrell

Resource Type: eBook.

Subjects: Microsoft .NET Framework, Parallel programming (Computer science), Computer multitasking

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Microsoft, COMPUTERS / Languages / .NET

Implicitly threaded parallelism in Manticore.

Authors: FLUET, MATTHEW RAINEY, MIKE REPPY, JOHN et al.

Source: Journal of Functional Programming; Nov2010, Vol. 20 Issue 5/6, p537-576, 40p

Subject Terms: PARALLEL processing, PARALLEL computers, PROGRAMMING languages, MULTICORE processors, MATHEMATICAL functions, COMPILERS (Computer programs)

Genetic Programming $$\varvec{+}$$ Proof Search $$\varvec{=}$$ Automatic Improvement.

Authors: Kocsis, Zoltan Swan, Jerry

Source: Journal of Automated Reasoning; Feb2018, Vol. 60 Issue 2, p157-176, 20p

How functional programming mattered.

Authors: Zhenjiang Hu Hughes, John Meng Wang

Source: National Science Review; 2015, Vol. 2 Issue 3, p349-370, 22p

Subject Terms: FUNCTIONAL programming (Computer science), PROGRAMMING languages, SOFTWARE architecture

Learning Concurrency in Python : Build Highly Efficient, Robust, and Concurrent Applications

Authors: Elliot Forbes

Resource Type: eBook.

Subjects: Application software--Development, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Programming / General, COMPUTERS / Programming / Parallel

Extraction and optimization of the implicit program parallelism by dynamic partial evaluation.

Authors: Tchernykh, A. Stepanov, A. Lupenko, A. et al.

Source: Proceedings of IEEE International Symposium on Parallel Algorithms Architecture Synthesis; 1997, p332-339, 8p

Bounded buffer communication in Concurrent Prolog.

Authors: Takeuchi, Akikazu Furukawa, Koichi

Source: New Generation Computing; Jun1985, Vol. 3 Issue 2, p145-155, 11p

Dataparallel C: A SIMD Programming Language for Multicomputers.

Authors: Hatcher, P.J. Quinn, M.J. Lapadula, A.J. et al.

Source: Sixth Distributed Memory Computing Conference, 1991 Proceedings; 1991, p91-98, 8p

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors.

Authors: CLEMENTS, AUSTIN T. KAASHOEK, M. FRANS ZELDOVICH, NICKOLAI et al.

Source: ACM Transactions on Computer Systems; Jan2015, Vol. 32 Issue 4, p10:1-10:47, 47p

Subject Terms: SOFTWARE architecture, COMPUTER software development, COMPUTER interfaces, LINUX operating systems, COMPUTER systems

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

Authors: Halim, Zahran

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

Behavioural Types : From Theory to Tools

Authors: Simon Gay António Ravara

Resource Type: eBook.

Subjects: QA76.7

Categories: COMPUTERS / Software Development & Engineering / General, SCIENCE / Energy

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Authors: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Subjects: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Improving Implicit Parallelism.

Authors: Manuel, José Trilla, Calderón Runciman, Colin

Source: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p153-164, 12p

On the platform specificity of STM instrumentation mechanisms.

Authors: Ruan, Wenjia Liu, Yujie Wang, Chao et al.

Source: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation & Optimization (CGO); 2013, p1-10, 10p

A Semantic Framework to Debug Parallel Lazy Functional Languages.

Authors: de la Encina, Alberto Hidalgo-Herrero, Mercedes Llana, Luis et al.

Source: Mathematics (2227-7390); Jun2020, Vol. 8 Issue 6, p864, 1p

Subject Terms: DEBUGGING, PARALLEL programming, WORK in process, LANGUAGE & languages, PARALLEL processing