Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel comparing » parallel computing, parallel comparisons, parallel coupling
comparing programs » camping programs, combining programs, converting programs
using https » using http, nursing https, aging https
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel comparing » parallel computing, parallel comparisons, parallel coupling
comparing programs » camping programs, combining programs, converting programs
using https » using http, nursing https, aging 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:
“... Dependency Modelling Help? Using a Randomized Landscape Generator to Compare Algorithms in Terms of Problem...”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 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Wavelet Transform -- Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters -- A...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
11
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
12
Published 2010
Table of Contents:
“... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Monothetic Divisive Clustering with Geographical Constraints -- Comparing Histogram Data Using a Mahalanobis...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Comparator -- Performance Enhancement of Brillouin Distributed Temperature Sensor Using Optimized Fiber...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”View full text
Electronic
eBook