1
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
2
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
3
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...
View full text
Electronic eBook