1
Published 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Stochastic Combinatorial Optimization -- How to Schedule When You Have to Buy Your Energy -- Improving...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Optimization -- Parallel Ant-Miner (PAM) on High Performance Clusters -- A Software Tool for Data Clustering...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
View full text
Electronic eBook
20
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