Zoekresultaten - parallel process program functionality 5 https

1

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

Gepubliceerd in 2010

Inhoudsopgave: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volledige tekst

Elektronisch E-boek

2

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

door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2015

Inhoudsopgave: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2010

Inhoudsopgave: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volledige tekst

Elektronisch E-boek

4

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

door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2012

Inhoudsopgave: “....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2010

Inhoudsopgave: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2005

Inhoudsopgave: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Volledige tekst

Elektronisch E-boek

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 /

Gepubliceerd in 2007

Inhoudsopgave: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2015

Inhoudsopgave: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2014

Inhoudsopgave: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2008

Inhoudsopgave: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2006

Inhoudsopgave: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Volledige tekst

Elektronisch E-boek

13

Growth, Differentiation and Sexuality

Gepubliceerd in 2006

Inhoudsopgave: “...Vegetative Processes and Growth -- Morphogenesis: Control of Cell Types and Shape -- Organelle...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2008

Inhoudsopgave: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2005

Inhoudsopgave: “... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2010

Inhoudsopgave: “... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2013

Inhoudsopgave: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volledige tekst

Elektronisch E-boek

20

Distributed Algorithms for Message-Passing Systems

door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013

Inhoudsopgave: “... on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken