Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
parallel objects » parallel object, parallel direct, parallel project
function https » functions https, fiction https
type function » type functions, type junction, type functional
objects type » objects types, object types, objects tree
function function » function functional, functions functional, function dysfunction
parallel objects » parallel object, parallel direct, parallel project
function https » functions https, fiction https
type function » type functions, type junction, type functional
objects type » objects types, object types, objects tree
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:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... to Protein Folding -- A Fourth Type of Secondary Structure Breaker -- Neighborhood Parallel Simulated...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Optimization -- GACO: a parallel evolutionary approach to multi-objective scheduling -- Kriging Surrogate Model...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Balancing of the Four-Bar Mechanism, by Mario Acevedo -- Behaviour of some objects in series with dynamic...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”View full text
Electronic
eBook
17
Table of Contents:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
View full text
View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“...-affinity Filter: A Bilateral Type Filter for Color Images -- Photometric Color Calibration of the Joint...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi...”View full text
Electronic
eBook