Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs about » programs among, problems about, programs best
about function » about functions, about functional, about fiction
function https » functions https, fiction https
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
programs about » programs among, problems about, programs best
about function » about functions, about functional, about fiction
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”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
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
7
Table of Contents:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
10
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Terms and Parallel Substitutions -- ModuRes: a Coq Library for Modular Reasoning about Concurrent...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- Modeling and Reasoning about Information Quality Requirements -- Detecting and Correcting Outdated...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”View full text
Electronic
eBook