1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
10
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
12
Table of Contents: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
View full text
Electronic eBook
13
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Networks From Data -- Conflicts within and between Belief Functions -- Consonant Continuous Belief...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
View full text
Electronic eBook