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: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
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 2005
Table of Contents: ... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...
View full text
Electronic eBook