1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
View full text
Electronic eBook
11
Table of Contents: ... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- On the Definition of Service Abstractions for Parallel Computing -- The Second Workshop on Performance Evaluation...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Systems -- Evaluation of IP Transmission Jitter Estimators Using One-Way Active Measurement Protocol...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- Estimating The Size Of Peer-To-Peer Networks Using Lambert's W Function -- Comparative Evaluation...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook