Suchergebnisse - parallel programming solvers functionals function https

Andere Suchmöglichkeiten:
parallel programming » parallel processing
functionals function » function function , functions functional , function dysfunction
programming solvers » programming solving , programming over , programming series
solvers functionals » convex functionals , models functionals , order functionals
function https » functions https , fiction https

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Veröffentlicht 2005

Inhaltsangabe: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Volltext

Elektronisch E-Book

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Veröffentlicht 2010

Inhaltsangabe: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Volltext

Elektronisch E-Book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”
Volltext

Elektronisch E-Book

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Volltext

Elektronisch E-Book

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Veröffentlicht 2014

Inhaltsangabe: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Volltext

Elektronisch E-Book

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Veröffentlicht 2008

Inhaltsangabe: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Veröffentlicht 2013

Inhaltsangabe: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volltext

Elektronisch E-Book

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volltext

Elektronisch E-Book

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volltext

Elektronisch E-Book

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Volltext

Elektronisch E-Book

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Volltext

Elektronisch E-Book

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Veröffentlicht 2008

Inhaltsangabe: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Volltext

Elektronisch E-Book

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Veröffentlicht 2012

Inhaltsangabe: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Volltext

Elektronisch E-Book

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Veröffentlicht 2015

Inhaltsangabe: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Volltext

Elektronisch E-Book

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Veröffentlicht 2008

Inhaltsangabe: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
Volltext

Elektronisch E-Book

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Veröffentlicht 2007

Inhaltsangabe: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Volltext

Elektronisch E-Book

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Veröffentlicht 2010

Inhaltsangabe: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Volltext

Elektronisch E-Book

Suche einschränken