Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
notes functionals » note functional, models functionals, nunes functional
programs notes » program notes, progress notes, programs norms
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
notes functionals » note functional, models functionals, nunes functional
programs notes » program notes, progress notes, programs norms
function https » functions https, fiction https
1
Vydáno 2005
Obsah:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2006
Obsah:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2014
Obsah:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Získat plný text
Elektronický zdroj
E-kniha
5
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Vydáno 2006
Obsah:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2006
Obsah:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2010
Obsah:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2005
Obsah:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2008
Obsah:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2006
Obsah:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2008
Obsah:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”Získat plný text
Elektronický zdroj
E-kniha