1
Published 2015
Table of Contents: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches -- Transactional Memory...
View full text
Electronic eBook
3
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Design -- Manipulating MAXLIVE for Spill-Free Register Allocation -- Optimizing Packet Accesses for a...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Optimization of Codes Based on Arrays of Pointers -- An Empirical Study on the Granularity of Pointer Analysis...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
8
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
9
Published 2010
Table of Contents: ... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... with Oscillatory Coefficients.-Part III: Advanced Methods for Transport Optimization–Based Modeling...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...
View full text
Electronic eBook
20
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook