1
Published 2015
Table of Contents: ... Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Ant Algorithm -- Applications -- Artificial Evolution for 3D PET Reconstruction -- A Hybrid Genetic...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Programming Tools -- Determination of Dependence of Performance from Specifications of Separate Components...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Populations in Distributed Genetic Programming -- Evolution of Robot Controller Using Cartesian Genetic...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... to Component-Based Applications -- COID: Maintaining Case Method Based on Clustering, Outliers and Internal...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... for static and runtime verification of component-based Applications -- Linear Evolution of Domain...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Components Evolution -- Color-Contrast Landmark Detection and Encoding in Outdoor Images -- Global Color...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Detection Using Symbiotic Evolution -- A Basic Approach to Reduce the Complexity of a Self-generated Fuzzy...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... for Large Scale TSP Problems -- Gaussian Process Learning: A Divide-and-Conquer Approach -- A Kernel ELM...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Optimization for Application Mapping on NoC Platforms -- A Discrete Differential Evolution Algorithm...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... of Component Integration for Web Applications -- Software Process Models, Management and Improvement -- A Study...
View full text
Electronic eBook