Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel comparing » parallel computing, parallel comparisons, parallel coupling
comparing programs » camping programs, combining programs, converting programs
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel comparing » parallel computing, parallel comparisons, parallel coupling
comparing programs » camping programs, combining programs, converting programs
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
14
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Table of Contents:
“... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....”Published 2007
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook