Rezultaty - parallel programming manipulating functionality function https

Inne możliwości wyszukiwania:
manipulating functionality » encapsulating functionality , sampling functionality , simulation functionality
programming manipulating » programming simulating , programs manipulating , programming validating
functionality function » functionals function , functionaries function , functional functions
parallel programming » parallel processing
function https » functions https , fiction https

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Wydane 2014

Spis treści: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Wydane 2013

Spis treści: “... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Singular Introduction to Commutative Algebra

od Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Wydane 2008

Spis treści: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Visual C# 2010 Recipes A Problem-Solution Approach /

od Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Wydane 2010

Spis treści: “...Application Development -- Data Manipulation -- Application Domains, Reflection, and Metadata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Wydane 2010

Spis treści: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Wydane 2015

Spis treści: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Wydane 2014

Spis treści: “... -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Wydane 2007

Spis treści: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Wydane 2012

Spis treści: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Wydane 2006

Spis treści: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Robot Kinematics

Wydane 2014

Spis treści: “...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Wydane 2013

Spis treści: “...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Wydane 2012

Spis treści: “... Design of a Planar 3-DOF Parallel Manipulator for Good Motion and Force Transmissibility -- Singularity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty