Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function manipulation » junction manipulation, functions manipulating, detection manipulation
parallel programming » parallel processing
programming program » programming programmed, programming problem, programming problems
manipulation https » simulation https
program function » programme function, programs functional, program foundation
function manipulation » junction manipulation, functions manipulating, detection manipulation
parallel programming » parallel processing
programming program » programming programmed, programming problem, programming problems
manipulation https » simulation https
program function » programme function, programs functional, program foundation
1
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”View full text
Electronic
eBook
8
Table of Contents:
“...Application Development -- Data Manipulation -- Application Domains, Reflection, and Metadata...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
10
Table of Contents:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Design of a Planar 3-DOF Parallel Manipulator for Good Motion and Force Transmissibility -- Singularity...”View full text
Electronic
eBook