1
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Progressively Refining Discretization- Optimization Methods for Optimal Control Problems Defined by Ordinary...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...
View full text
Electronic eBook