Search Results - parallel processing programmed functionality 5 https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

2

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2015

Table of Contents: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
View full text

Electronic eBook

3

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
View full text

Electronic eBook

4

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2012

Table of Contents: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
View full text

Electronic eBook

5

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Published 2005

Table of Contents: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
View full text

Electronic eBook

7

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
View full text

Electronic eBook

8

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

9

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
View full text

Electronic eBook

10

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

11

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
View full text

Electronic eBook

12

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
View full text

Electronic eBook

13

Growth, Differentiation and Sexuality

Published 2006

Table of Contents: “...Vegetative Processes and Growth -- Morphogenesis: Control of Cell Types and Shape -- Organelle...”
View full text

Electronic eBook

14

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Published 2008

Table of Contents: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
View full text

Electronic eBook

15

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
View full text

Electronic eBook

16

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Published 2005

Table of Contents: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
View full text

Electronic eBook

17

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Published 2005

Table of Contents: “... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...”
View full text

Electronic eBook

18

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”
View full text

Electronic eBook

19

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

20

Distributed Algorithms for Message-Passing Systems

by Raynal, Michel., Raynal, Michel.
Published 2013

Table of Contents: “... on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a...”
View full text

Electronic eBook

Narrow Search