1
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Cael y testun llawn
Electronig eLyfr
5
Tabl Cynhwysion: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
Cael y testun llawn
Electronig eLyfr
6
Tabl Cynhwysion: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2012
Pynciau: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
8
gan Bronstein, Manuel., Bronstein, Manuel.
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2010
Tabl Cynhwysion: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Cael y testun llawn
Electronig eLyfr
11
Tabl Cynhwysion: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2010
Tabl Cynhwysion: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Cael y testun llawn
Electronig eLyfr
18
Pynciau: ...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Parallel : Design Modelling Thermoactive Architecture -- The Architecture of the Ill-tempered Environment...
Cael y testun llawn
Electronig eLyfr
20
... the number of PV modules in (series and parallel) and number of the storage battery. The case study...
Cael y testun llawn
Erthygl