1
Table of Contents: ... Applications. What is Digital Signal Processing? Why Use Reconfigurable Computing for DSP? DSP Application...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
View full text
Electronic eBook
5
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
View full text
Electronic eBook
7
Table of Contents: ... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....
View full text
Electronic eBook
8
by Zainal Azmi, Nurazlin
Published 2006
Subjects: ...Animation (Cinematography) - Simulation methods...
View full text
Thesis
9
Published 2007
Table of Contents: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
View full text
Electronic eBook
15
Subjects: ...Computers....
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... in Reconfigurable Architectures -- QUAD – A Memory Access Pattern Analyser -- Hierarchical Loop Partitioning...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Function Optimization Using Accelerated Biogeography-Based Optimization -- A Genetic Algorithm Based...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook