Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
parallel calculation » parallel valuation, parameter calculation, parallel computation
calculation program » calculation programs, calculator programs, calculator programme
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
parallel calculation » parallel valuation, parameter calculation, parallel computation
calculation program » calculation programs, calculator programs, calculator programme
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
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
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



