1
Publicado em 2012
Assuntos: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2007
Sumário: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2015
Sumário: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2015
Sumário: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2015
Sumário: ... Optimization for the Se-ries-Parallel Redundancy Allocation Problem -- Impact of the length of optical flow...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2013
Sumário: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2015
Sumário: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2015
Sumário: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2015
Sumário: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2006
Sumário: ... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2007
Sumário: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...
Obter o texto integral
Recurso Electrónico livro electrónico