1
Published 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
View full text
Electronic eBook
2
Published 2003
Table of Contents: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
4
Published 2011
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
View full text
Electronic eBook
6
Table of Contents: ... Correction Codes -- Sources of Mismatch and Errors -- Refine Models for PUF Simulation Requirements -- Pre...
View full text
Electronic eBook
7
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
View full text
Electronic eBook
8
Table of Contents: ... -- Control Unit Synthesis -- Electronic Aspects of Digital Design -- Electronic Aspects of Digital Design...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...-Parallel Systems -- A New Hybrid Parallel Algorithm for MrBayes -- Research and Design of Deployment...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Reconstruction Algorithms for Parallel Imaging -- The g-Factor and Coil Design -- Measurement of Signal-to-Noise...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... for Decoding Gabidulin Codes -- On the Weights of Binary Irreducible Cyclic Codes -- 3-Designs from Z 4...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook