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