1
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
View full text
Electronic eBook
3
Table of Contents: ... and ModelSim Scripts -- Chapter 4 MATLAB Code, VHDL and ModelSim Scripts -- Chapter 5 VHDL -- Glossary...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... using direct numerical simulation -- FlowNoise: Flow Induced Noise Computation on Hitachi SR8000-F1...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Synthesis of Human Voice Using Radial Basis Function Networks -- A Business Entity Correlation Discovery...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... for High-Resolution Functional Magnetic Resonance Imaging -- Characterization of a SimMechanics Model for a...
View full text
Electronic eBook
9
Table of Contents: ...Preface -- Preliminaries and Incidence Geometry (I) -- Affine Geometry: Incidence with Parallelism...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...
View full text
Electronic eBook