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