提案スペルによる検索:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
array a » array _
1
出版事項 2005
目次: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
全文の入手
電子媒体 eBook
2
出版事項 2007
目次: ... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...
全文の入手
電子媒体 eBook
3
出版事項 2006
目次: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
全文の入手
電子媒体 eBook
4
著者: Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
出版事項 2005
目次: ... Applications. What is Digital Signal Processing? Why Use Reconfigurable Computing for DSP? DSP Application...
全文の入手
電子媒体 eBook
5
著者: Hunt, John., Hunt, John.
出版事項 2014
目次: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
全文の入手
電子媒体 eBook
6
出版事項 2007
目次: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
全文の入手
電子媒体 eBook
7
著者: Swenson, Nathan G., Swenson, Nathan G.
出版事項 2014
目次: ... -- Integrating R with Other Phylogenetic and Functional Trait Analytical Software -- References -- Index....
全文の入手
電子媒体 eBook
8
出版事項 2007
目次: ... Environment Using the Great Deluge Algorithm -- Parallelism Granules Aggregation with the T-System -- Toward a...
全文の入手
電子媒体 eBook
9
出版事項 2015
目次: ... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...
全文の入手
電子媒体 eBook
10
出版事項 2005
目次: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...
全文の入手
電子媒体 eBook
12
出版事項 2006
目次: ... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...
全文の入手
電子媒体 eBook
13
著者: Zainal Azmi, Nurazlin
出版事項 2006
主題: ...Animation (Cinematography) - Simulation methods...
全文の入手
学位論文
14
出版事項 2015
目次: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
全文の入手
電子媒体 eBook
15
著者: Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
出版事項 2007
主題: ...Computers....
全文の入手
電子媒体 eBook
16
出版事項 2005
目次: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
全文の入手
電子媒体 eBook
17
出版事項 2007
目次: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
全文の入手
電子媒体 eBook
18
出版事項 2010
目次: ... in Reconfigurable Architectures -- QUAD – A Memory Access Pattern Analyser -- Hierarchical Loop Partitioning...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... Function Optimization Using Accelerated Biogeography-Based Optimization -- A Genetic Algorithm Based...
全文の入手
電子媒体 eBook
20
出版事項 2012
目次: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
全文の入手
電子媒体 eBook