1
Published 2005
Table of Contents: ... -- The COOLFluiD Parallel Architecture -- Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
View full text
Electronic eBook
4
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...
View full text
Electronic eBook
7
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
8
Published 2008
Table of Contents: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... -- Density Functional Molecular Orbital Calculations on Longer DNA–DNA and PNA–DNA Double Strands -- A...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Linkages with Circular Translation -- Function Synthesis of the Planar 5R Mechanism Using Least Squares...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...
View full text
Electronic eBook