1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Costs -- Accurate Step Counting -- The Implementation of iData -- A High-Level Implementation...
View full text
Electronic eBook
3
Subjects: ...Special purpose computers....
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Behaviour -- Markov Chain Analysis of Genetic Algorithms Applied to Fitness Functions Perturbed by Multiple...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- The Cost of Redundancy in Distributed Real-Time Systems in Steady State -- Fuzzy-Neural Controller...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Architecture and Modeling -- Reducing Storage Costs of Reconfiguration Contexts by Sharing...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Processor Architecture for High Performance Computing -- Reducing the Branch Power Cost in Embedded...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Constrained Minimum Cost -- Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Genetic Algorithm -- On Applying Evolutionary Computation Methods to Optimization of Vacation Cycle Costs...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Systems -- Computational Design Synthesis of Aircraft Configurations with Shape Grammars -- Spectral (Re...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... with Non-smooth Fuel Cost Functions -- Hydro-thermal Commitment Scheduling by Tabu Search Method...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Swarm Optimization Algorithm -- A Web-Based Integrated System for Construction Project Cost Prediction...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... in Evolutionary Algorithms -- A Review of Techniques for Handling Expensive Functions in Evolutionary Multi...
View full text
Electronic eBook