1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... on Efficient Index Techniques -- A Parallel Routing Algorithm on Circulant Networks Employing the Hamiltonian...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Efficient Parallel Matrix-Matrix Multiplication on the Torus -- A New Dynamic Load Balancing Technique...
View full text
Electronic eBook
7
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
8
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Programs -- Evaluation of Software Understandability Using Rough Sets -- HCDLST: An Indexing Technique...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
View full text
Electronic eBook