Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmes functionals » programming functionals, programs functional, programming functional
functionals function » function function, functions functional, function dysfunction
care programmes » care programs, care program, work programmes
function https » functions https, fiction https
parallel care » parallel car, parallel case, parallel cable
programmes functionals » programming functionals, programs functional, programming functional
functionals function » function function, functions functional, function dysfunction
care programmes » care programs, care program, work programmes
function https » functions https, fiction https
parallel care » parallel car, parallel case, parallel cable
1
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...”View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
12
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook