1
Published 2014
Table of Contents: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
View full text
Electronic eBook
2
Table of Contents: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... with Oscillatory Coefficients.-Part III: Advanced Methods for Transport Optimization–Based Modeling...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- The Building Blocks of Consensus -- Continuous Consensus with Ambiguous Failures -- On Optimal Probabilistic...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Sorting Particle Swarm Optimization based Fault Section Estimation in Radial Distribution systems...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...-convex Optimization on Stiefel Manifold and Applications to Machine Learning -- Local Patch Dissimilarity...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Optimization and Support Vector Machine -- Strategic decision support in waste management systems by state...
View full text
Electronic eBook