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