Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function support » functions support, union support, function super
support function » support functions, supply function, support action
function https » functions https, fiction https
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function support » functions support, union support, function super
support function » support functions, supply function, support action
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”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 2005
Table of Contents:
“... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Predicting Disease Risks Using Feature Selection Based on Random Forest and Support Vector Machine...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Anti-parallel Coiled Coils Structure Prediction by Support Vector Machine Classification -- A...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Scouting Predator-Prey Optimizer to Train Support Vector Machines with non PSD Kernels -- Response Surfaces...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...”View full text
Electronic
eBook
18
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...”
View full text
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy...”View full text
Electronic
eBook