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