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