1
Publicado 2007
Table of Contents: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Ligazón do recurso
Electrónico eBook
4
Publicado 2014
Table of Contents: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
Ligazón do recurso
Electrónico eBook
5
Publicado 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Ligazón do recurso
Electrónico eBook
6
Publicado 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Ligazón do recurso
Electrónico eBook
7
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Ligazón do recurso
Electrónico eBook
8
Publicado 2008
Table of Contents: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...
Ligazón do recurso
Electrónico eBook
12
Publicado 2011
Table of Contents: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
Ligazón do recurso
Electrónico eBook
14
Publicado 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Ligazón do recurso
Electrónico eBook
15
Publicado 2014
Table of Contents: ... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...
Ligazón do recurso
Electrónico eBook
16
Publicado 2007
Table of Contents: ... of Graphs -- The Equitable Edge-Coloring of Series-Parallel Graphs -- A Low Complexity Intrusion Detection...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Ligazón do recurso
Electrónico eBook
18
Publicado 2014
Table of Contents: ... Bluetooth Based Autonomous Mining System -- Transistor Representation of a Low Power Reversible 32-Bit...
Ligazón do recurso
Electrónico eBook
19
Publicado 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Ligazón do recurso
Electrónico eBook
20
Publicado 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Ligazón do recurso
Electrónico eBook