Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel reductions » parallel reduction, parallel reactions, parallel deduction
reductions programs » reduction programs, reduction program, education programs
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel reductions » parallel reduction, parallel reactions, parallel deduction
reductions programs » reduction programs, reduction program, education programs
function https » functions https, fiction https
1
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
2
Publié 2010
Table des matières:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Accéder au texte intégral
Électronique
eBook
5
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
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
6
Publié 2014
Table des matières:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Accéder au texte intégral
Électronique
eBook
7
Publié 2006
Table des matières:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Accéder au texte intégral
Électronique
eBook
8
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
9
Publié 2013
Table des matières:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Accéder au texte intégral
Électronique
eBook
10
Publié 2006
Table des matières:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Accéder au texte intégral
Électronique
eBook
11
Publié 2007
Table des matières:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... Fuzzy Clustering -- On Dynamic Soft Dimension Reduction in Evolving Fuzzy Classifiers -- Multi-class...”Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Accéder au texte intégral
Électronique
eBook
15
Publié 2010
Table des matières:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Accéder au texte intégral
Électronique
eBook
16
Publié 2015
Table des matières:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Accéder au texte intégral
Électronique
eBook
17
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
18
Publié 2010
Table des matières:
“... for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series...”Accéder au texte intégral
Électronique
eBook
19
Publié 2008
Table des matières:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”Accéder au texte intégral
Électronique
eBook