1
Publicado 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... -- Stabbing Convex Polygons with a Segment or a Polygon -- An Efficient Algorithm for 2D Euclidean 2-Center...
Ligazón do recurso
Electrónico eBook
8
Publicado 2015
Table of Contents: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Ligazón do recurso
Electrónico eBook
9
Publicado 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
Ligazón do recurso
Electrónico eBook
10
Publicado 2007
Table of Contents: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Ligazón do recurso
Electrónico eBook
11
Publicado 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ...-Bounded Buffers -- Transporting Jobs through a Processing Center with Two Parallel Machines....
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Summarization -- Summary Generation Centered on Important Words -- Sentence Compression Learned by News Headline...
Ligazón do recurso
Electrónico eBook
14
Publicado 2005
Table of Contents: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
Ligazón do recurso
Electrónico eBook
15
Publicado 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
Ligazón do recurso
Electrónico eBook
17
Publicado 2012
Table of Contents: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
Ligazón do recurso
Electrónico eBook
18
Publicado 2012
Table of Contents: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...
Ligazón do recurso
Electrónico eBook
20
Publicado 2013
Table of Contents: ... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...
Ligazón do recurso
Electrónico eBook