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