1
Publicado 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Ligazón do recurso
Electrónico eBook
3
Publicado 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Ligazón do recurso
Electrónico eBook
4
Publicado 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Ligazón do recurso
Electrónico eBook
6
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Ligazón do recurso
Electrónico eBook
10
Publicado 2015
Table of Contents: ... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...
Ligazón do recurso
Electrónico eBook
11
Publicado 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Ligazón do recurso
Electrónico eBook
12
Publicado 2014
Table of Contents: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ...-Driven SOA -- Towards Using Reo for Compliance-Aware Business Process Modeling -- On the Risk Management...
Ligazón do recurso
Electrónico eBook
15
Publicado 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Ligazón do recurso
Electrónico eBook
16
Publicado 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Ligazón do recurso
Electrónico eBook
18
Publicado 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Ligazón do recurso
Electrónico eBook
20
Publicado 2012
Table of Contents: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
Ligazón do recurso
Electrónico eBook