Search Results - parallel evolution programs functionality risk https

Search alternatives:
programs functionality » program functionality , programs functional , properties functionality
parallel evolution » parallel evolutionary , parallel execution
evolution programs » evolution program , evolution problems , production programs
functionality risk » functionality based , functionality using , functionality _
https » http

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...”
View full text

Electronic eBook

COMPSTAT 2008 Proceedings in Computational Statistics /

Published 2008

Table of Contents: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
View full text

Electronic eBook

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Published 2007

Table of Contents: “... Scheduling on Heterogeneous Cluster -- A Steepest Descent Evolution Immune Algorithm for Multimodal Function...”
View full text

Electronic eBook

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Chaos to Differential Evolution for Range Image Registration -- Genetic Programming for Automatic...”
View full text

Electronic eBook

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”
View full text

Electronic eBook

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”
View full text

Electronic eBook

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

Published 2014

Table of Contents: “... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...”
View full text

Electronic eBook

Narrow Search