Search Results - parallel system program function using https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
View full text

Electronic eBook

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
View full text

Electronic eBook

3

Pro .NET 4 Parallel Programming in C#

by Freeman, Adam., Freeman, Adam.
Published 2010

Table of Contents: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text

Electronic eBook

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

5

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

Published 2010

Table of Contents: “... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...”
View full text

Electronic eBook

6

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
View full text

Electronic eBook

7

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

Published 2014

Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text

Electronic eBook

8

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

9

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”
View full text

Electronic eBook

10

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

11

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”
View full text

Electronic eBook

12

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...”
View full text

Electronic eBook

13

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: “... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”
View full text

Electronic eBook

14

New Horizons of Parallel and Distributed Computing

Published 2005

Table of Contents: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
View full text

Electronic eBook

15

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

16

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Published 2007

Table of Contents: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
View full text

Electronic eBook

17

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Published 2010

Table of Contents: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
View full text

Electronic eBook

18

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

Published 2005

Table of Contents: “... Distribution with Parallel File Systems -- Implementing Byte-Range Locks Using MPI One-Sided Communication...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
View full text

Electronic eBook

20

packetC Programming

by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Narrow Search