Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programming » parallel processing
programming through » programming theory, programs through, programming approach
function function » function functional, functions functional, function dysfunction
through function » through functions, through functional, through junctions
function https » functions https, fiction https
parallel programming » parallel processing
programming through » programming theory, programs through, programming approach
function function » function functional, functions functional, function dysfunction
through function » through functions, through functional, through junctions
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”View full text
Electronic
eBook
3
Table of Contents:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...”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
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
9
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text
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:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
15
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
16
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”View full text
Electronic
eBook
20
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