Suggestion de sujets dans votre recherche.
Recherches alternatives:
procedures functional » procedures functions, procedures function, processes functional
functional function » functionals function, functional functions, function function
program procedures » programs procedures, program procedure, programmes procedures
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Image de couverture de livre
Publié 2008
Table des matières: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2010
Table des matières: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
3
Image de couverture de livre
Publié 2015
Table des matières: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
4
Image de couverture de livre
Publié 2006
Table des matières: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
5
Image de couverture de livre
Publié 2005
Table des matières: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
6
Image de couverture de livre
Publié 2014
Table des matières: “...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
7
Image de couverture de livre
Publié 2015
Table des matières: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
8
Image de couverture de livre
Publié 2008
Table des matières: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
9
Image de couverture de livre
Publié 2006
Table des matières: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
10
Image de couverture de livre
Publié 2005
Table des matières: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
11
Image de couverture de livre
Table des matières: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
12
Image de couverture de livre
Table des matières: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
13
Image de couverture de livre
Table des matières: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
14
Image de couverture de livre
Publié 2006
Table des matières: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
15
Image de couverture de livre
Table des matières: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
16
Image de couverture de livre
Publié 2005
Table des matières: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
17
Image de couverture de livre
Publié 2014
Table des matières: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
18
Image de couverture de livre
Publié 2008
Table des matières: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
19
Image de couverture de livre
Publié 2012
Table des matières: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
20
Image de couverture de livre
Publié 2008
Table des matières: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche