1
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
2
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
3
Table of Contents: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
View full text
Electronic eBook
4
Table of Contents: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
View full text
Electronic eBook
5
Table of Contents: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
View full text
Electronic eBook
6
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
8
Table of Contents: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
10
Table of Contents: ... Versatile Program for the Design of Digital Filters Using Differential Evolution -- Optimization of Radial...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... for Animal Research -- General Considerations -- The Ethical Basis for Animal Use in Research...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... the Achievements and Failures -- Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...
View full text
Electronic eBook