Resultados da busca - parallel solver problems function function https

1

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

Publicado em 2010

Sumário: “...) -- Accelerating Euler Equations Numerical Solver on Graphics Processing Units -- An Improved Parallel MEMS...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2010

Sumário: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2005

Sumário: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications In Honor of Professor Raytcho Lazarov's 40 Years of Research in Computational Metho...

Publicado em 2013

Sumário: “... parallel algorithms for unsteady incompressible flows, Jean-Luc Guermond, Peter Minev -- Efficient solvers...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Publicado em 2013

Sumário: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

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...

Publicado em 2008

Sumário: “... Performance -- Towards Generic Solver of Combinatorial Optimization Problems with Autonomous Agents in P2P...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

Publicado em 2006

Sumário: “... Macro Package Suitable for Drawing Fine -Pictures -- Matlab-Based Problem-Solving Environment...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

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

Publicado em 2010

Sumário: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicado em 2013

Sumário: “... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2010

Sumário: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

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

Publicado em 2012

Sumário: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2014

Sumário: “... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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...

Publicado em 2015

Sumário: “... -- vZ - An Optimizing SMT Solver -- dReach: δ-Reachability Analysis for Hybrid Systems -- Uppaal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Publicado em 2010

Sumário: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

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

Publicado em 2010

Sumário: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

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

Publicado em 2013

Sumário: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico