1
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook