1
Published 2013
Table of Contents: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...
View full text
Electronic eBook
3
Table of Contents: ...Introduction -- Theory behind the SAR Model --  Parallel Exact SAR Model Solutions -- Comparing...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in the Ribosomal Exit Tunnel -- Preparing RAxML for the SPEC MPI Benchmark Suite -- Parallel Computing with the R...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
View full text
Electronic eBook