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