1
Publié 2013
Table des matières: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Accéder au texte intégral
Électronique eBook
3
Table des matières: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Accéder au texte intégral
Électronique eBook
4
Publié 2015
Table des matières: ... -- Parallel Donor Genotyping For 46 Selected Blood Group and 4 Human Platelet Antigens Using High-Throughput...
Accéder au texte intégral
Électronique eBook
5
Table des matières: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Accéder au texte intégral
Électronique eBook
6
Publié 2012
Sujets: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
7
Publié 2007
Table des matières: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Accéder au texte intégral
Électronique eBook
9
Table des matières: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Accéder au texte intégral
Électronique eBook
10
Publié 2010
Table des matières: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Grove and Its Distributed Performance -- A Massively Parallel Hardware for Modular Exponentiations Using...
Accéder au texte intégral
Électronique eBook
12
Publié 2012
Table des matières: ... using Affymetrix and Ilumina SNP Array Data -- Targeted Screening and Validation of Copy Nuber...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... -- Imaging of Pulmonary Hypertension -- Future Developments -- New Coil Systems for Highly Parallel MR...
Accéder au texte intégral
Électronique eBook
14
Publié 2005
Table des matières: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Accéder au texte intégral
Électronique eBook
15
16
Publié 2010
Table des matières: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
Accéder au texte intégral
Électronique eBook
17
par Freeman, Adam., Freeman, Adam.
Publié 2010
Table des matières: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
Accéder au texte intégral
Électronique eBook
18
Table des matières: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
Accéder au texte intégral
Électronique eBook
19
Publié 2008
Table des matières: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
Accéder au texte intégral
Électronique eBook
20
Publié 2007
Table des matières: ... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...
Accéder au texte intégral
Électronique eBook