Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function manipulation » junction manipulation, functions manipulating, detection manipulation
manipulation https » simulation https
program function » programme function, programs functional, program foundation
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
function manipulation » junction manipulation, functions manipulating, detection manipulation
manipulation https » simulation https
program function » programme function, programs functional, program foundation
parallel code » parallel model, parallel 3d
code program » coe program, core program, cone program
1
Publicado 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Ligazón do recurso
Electrónico
eBook
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Ligazón do recurso
Electrónico
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2013
Table of Contents:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2006
Table of Contents:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Ligazón do recurso
Electrónico
eBook
8
Table of Contents:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2015
Table of Contents:
“...Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Ligazón do recurso
Electrónico
eBook
13
por Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Publicado 2010
Table of Contents:
“... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”Publicado 2010
Ligazón do recurso
Electrónico
eBook
14
Publicado 2014
Table of Contents:
“...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2014
Table of Contents:
“...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2013
Table of Contents:
“...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2012
Table of Contents:
“... Design of a Planar 3-DOF Parallel Manipulator for Good Motion and Force Transmissibility -- Singularity...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]