1
Publicat 2005
Taula de continguts: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obtenir text complet
Electrònic eBook
6
Publicat 2005
Taula de continguts: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obtenir text complet
Electrònic eBook
7
Publicat 2014
Taula de continguts: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Obtenir text complet
Electrònic eBook
10
Publicat 2012
Taula de continguts: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Obtenir text complet
Electrònic eBook
11
Publicat 2012
Taula de continguts: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
Obtenir text complet
Electrònic eBook
12
Publicat 2010
Taula de continguts: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Obtenir text complet
Electrònic eBook
13
Publicat 2014
Taula de continguts: ... Machine Using Simple Derivative Term -- Representations of Highly-Varying Functions by One-Hidden-Layer...
Obtenir text complet
Electrònic eBook
14
Publicat 2015
Taula de continguts: ... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
Obtenir text complet
Electrònic eBook
16
Publicat 2013
Taula de continguts: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Obtenir text complet
Electrònic eBook
18
Publicat 2008
Taula de continguts: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Obtenir text complet
Electrònic eBook
19
Publicat 2007
Taula de continguts: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Obtenir text complet
Electrònic eBook
20
Publicat 2006
Taula de continguts: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Obtenir text complet
Electrònic eBook