Arama Sonuçları - parallel program program function manipulation https

Şunu mu demek istediniz:
function manipulation » junction manipulation , functions manipulating , detection manipulation
manipulation https » simulation https
parallel program » parallel programs , parallel problem , parallel programming
program function » programme function , programs functional , program foundation
program program » programs program , programming program

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Tam Metin Erişim

Elektronik Ekitap

Visual C# 2010 Recipes A Problem-Solution Approach /

Yazar: Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Baskı/Yayın Bilgisi 2010

İçindekiler: “...Application Development -- Data Manipulation -- Application Domains, Reflection, and Metadata...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Tam Metin Erişim

Elektronik Ekitap

A Singular Introduction to Commutative Algebra

Yazar: Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Baskı/Yayın Bilgisi 2008

İçindekiler: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Robot Kinematics

Baskı/Yayın Bilgisi 2014

İçindekiler: “...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Design of a Planar 3-DOF Parallel Manipulator for Good Motion and Force Transmissibility -- Singularity...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt