1
Опубликовано 2010
Оглавление: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2013
Оглавление: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2007
Оглавление: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Полный текст
Электронный ресурс eКнига
5
по Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Опубликовано 2013
Оглавление: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Полный текст
Электронный ресурс eКнига
6
Оглавление: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2012
Предметы: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Полный текст
Электронный ресурс eКнига
8
по Bronstein, Manuel., Bronstein, Manuel.
Опубликовано 2005
Оглавление: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2007
Оглавление: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Полный текст
Электронный ресурс eКнига
11
по Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
Опубликовано 2015
Оглавление: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2010
Оглавление: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2010
Оглавление: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2010
Оглавление: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2008
Оглавление: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2005
Оглавление: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Полный текст
Электронный ресурс eКнига
18
по Garasic, Mirko Daniel., Garasic, Mirko Daniel.
Опубликовано 2015
Предметы: ...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2015
Оглавление: ... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2006
Оглавление: ... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...
Полный текст
Электронный ресурс eКнига