Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
processes function » processes functions, processes functional, processes friction
function function » function functional, functions functional, function dysfunction
proof processes » proofs processes, proof process, proof procedures
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
processes function » processes functions, processes functional, processes friction
function function » function functional, functions functional, function dysfunction
proof processes » proofs processes, proof process, proof procedures
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
1
Publié 2010
Table des matières:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Accéder au texte intégral
Électronique
eBook
2
Publié 2012
Sujets:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Accéder au texte intégral
Électronique
eBook
3
Publié 2007
Table des matières:
“... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”Accéder au texte intégral
Électronique
eBook
4
Publié 2005
Table des matières:
“... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...”Accéder au texte intégral
Électronique
eBook
5
Publié 2014
Table des matières:
“... Proof of a Key Formula in the Error-backpropagation Learning Algorithm for Multiple Spiking Neural...”Accéder au texte intégral
Électronique
eBook
6
Publié 2012
Table des matières:
“... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”Accéder au texte intégral
Électronique
eBook
8
Publié 2014
Table des matières:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”Accéder au texte intégral
Électronique
eBook
9
Publié 2008
Table des matières:
“... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”Accéder au texte intégral
Électronique
eBook
10
Publié 2015
Table des matières:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Accéder au texte intégral
Électronique
eBook
11
Publié 2008
Table des matières:
“... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”Accéder au texte intégral
Électronique
eBook
12
Publié 2005
Table des matières:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”Accéder au texte intégral
Électronique
eBook
13
Publié 2008
Table des matières:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”Accéder au texte intégral
Électronique
eBook
14
Publié 2013
Table des matières:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Accéder au texte intégral
Électronique
eBook
15
Publié 2015
Table des matières:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”Accéder au texte intégral
Électronique
eBook
16
Publié 2014
Table des matières:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Accéder au texte intégral
Électronique
eBook
17
Publié 2014
Table des matières:
“... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”Accéder au texte intégral
Électronique
eBook
18
Publié 2013
Table des matières:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“... Crypt -- Cryptography Meets Humans -- Hiding Secret Points Amidst Chaff -- Parallel and Concurrent...”Accéder au texte intégral
Électronique
eBook