1
Published 2005
Table of Contents: ... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Probabilistic Latent Clustering of Device Usage -- Condensed Nearest Neighbor Data Domain...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Rules Based on Extended Function Dependency -- A Problem Oriented Approach to Data Mining in Distributed...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... for Volume Data Sets by Using Critical Point Graph -- Hybrid Parallelization and Flat Parallelization in HPF...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Detection Algorithm for the Wormhole Attack in Ad Hoc Network -- Ad Hoc Eavesdropping Algorithm Based...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... of Coordinated Performance Skeletons -- Session II: Parallel Algorithms and Applications -- Data Sharing Analysis...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Providers -- Distributed and Parallel Computing -- A Central Management for Reducing Volumes of Data...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook