Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
tool functionality » cell functionality, cova functionality, drop functionality
parallel objects » parallel object, parallel direct, parallel project
function https » functions https, fiction https
objects tool » object tools, objects tom, objects two
functionality function » functionals function, functionaries function, functional functions
tool functionality » cell functionality, cova functionality, drop functionality
parallel objects » parallel object, parallel direct, parallel project
function https » functions https, fiction https
objects tool » object tools, objects tom, objects two
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... on Partial Estimation of Their Functional Performance Models -- An Efficient Weighted Bi-objective Scheduling...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...-Objective Design Space Exploration of Embedded System Platforms -- Dynamic Memory Management for Embedded...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... of Groups -- Interfacing Computer Algebra and Mathematical Visualization (Konrad Polthier) -- GCLC — A Tool...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Game -- A Study on the Specification of a Scalarizing Function in MOEA/D for Many-Objective Knapsack...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile...”View full text
Electronic
eBook
16
Table of Contents:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
View full text
View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... for Transparent Mamdani Systems -- Optimization of Linear Objective Function under Fuzzy Equation Constraint in BL...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”View full text
Electronic
eBook