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