Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
dependent functionals » dependent functional, dependent functionally, dependent functions
functionals function » function function, functions functional, function dysfunction
function dependent » functional dependent, function dependency, functions dependence
parallel function » parallel functional, parallel auction, parallel union
function https » functions https, fiction https
dependent functionals » dependent functional, dependent functionally, dependent functions
functionals function » function function, functions functional, function dysfunction
function dependent » functional dependent, function dependency, functions dependence
parallel function » parallel functional, parallel auction, parallel union
function https » functions https, fiction https
1
Published 2012
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Luciferase assay for Polyadenylation (SLAP) Method for Determining CstF-64-dependent Polyadenylation Activity...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Pair-Correlation in the Time and Frequency Domain -- Dependence of Spike-Count Correlations on Spike...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“..., Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
17
“... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...”
Article
18
“... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...”
Article
19
Published 2007
Table of Contents:
“... Rupture of CN and CC Multiple Bonds -- Protein Function Prediction in Proteomics Era -- What We can Learn...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook