1
Publicado em 2006
Sumário: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2006
Sumário: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2015
Sumário: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2007
Sumário: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ... for Displaying in Small Device -- Automatic Text Summarization Using Two-Step Sentence Extraction -- Sentence...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2013
Sumário: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
Obter o texto integral
Recurso Electrónico livro electrónico