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