1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Algorithms -- Register Pressure in Software-Pipelined Loop Nests: Fast Computation and Impact on Architecture...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Optimization -- Nested Space Mapping Technique for Design and Optimization of Complex Microwave Structures...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Parallel Computing Models for GPU Computing -- Membrane Computing: Basics and Frontiers -- A Panorama...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Parallelization -- A Computational Geometry Approach for Pareto-Optimal Selection of Neural Networks -- Learning...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
View full text
Electronic eBook
16
... nested CES production function, this study found high skilled migrants will harm wages for the high...
View full text
Article