Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel standard » parallel secondary, parallel boundary, paradigm standard
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
parallel standard » parallel secondary, parallel boundary, paradigm standard
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
6
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”View full text
Electronic
eBook
17
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”View full text
Electronic
eBook