1
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
2
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
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é 2007
Table des matières: ... Ratio and Parallel Imaging -- Special Applications of Parallel Imaging -- Parallel-Imaging...
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é 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
8
Publié 2007
Table des matières: ... for Development of Distributed Scientific Applications -- Orthogonal Organized Finite State Machine Application...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... -- Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications....
Accéder au texte intégral
Électronique eBook
10
Table des matières: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... for HPC Application Development -- Argument Controlled Profiling -- Detailed Performance Analysis Using...
Accéder au texte intégral
Électronique eBook
12
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
13
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
14
Publié 2014
Table des matières: ...: An Analytical Approach -- An Eigen decomposition Method for Protein Structure Alignment -- Functional Interplay...
Accéder au texte intégral
Électronique eBook
15
Publié 2012
Table des matières: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
Accéder au texte intégral
Électronique eBook
16
Publié 2012
Table des matières: ... of a Parallel Rotational Robot --  Attitude Control of the Unicycle Robot Using Fuzzy-Sliding Mode...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... Methods for Ant Colony Paintings -- Evolutionary Search for Musical Parallelism -- Developing Fitness...
Accéder au texte intégral
Électronique eBook
18
Publié 2012
Table des matières: ...-Diagnosis Function for Rehabilitation Training Robot System --  Human Behavior Recognition by a Bio...
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ... Rehabilitation Process; S.Salim, et al -- A Security Protocol based-on Mutual Authentication Application toward...
Accéder au texte intégral
Électronique eBook
20
Publié 2015
Table des matières: ...Preface -- Operation Modes in Lower-Mobility Parallel Manipulators, by Josef Schadlbauer, Latifah...
Accéder au texte intégral
Électronique eBook