Hakutulokset - parallel programs exploit function function https*

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2008

Sisällysluettelo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hae kokoteksti

Elektroninen E-kirja

3

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hae kokoteksti

Elektroninen E-kirja

4

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2005

Sisällysluettelo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2010

Sisällysluettelo: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Hae kokoteksti

Elektroninen E-kirja

7

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

Tekijä Karrenberg, Ralf., Karrenberg, Ralf.
Julkaistu 2015

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

8

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2008

Sisällysluettelo: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Hae kokoteksti

Elektroninen E-kirja

10

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Julkaistu 2010

Sisällysluettelo: “... -- Approximate Lasserre Integrality Gap for Unique Games -- Exploiting Concavity in Bimatrix Games: New...”
Hae kokoteksti

Elektroninen E-kirja

11

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Hae kokoteksti

Elektroninen E-kirja

12

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...”
Hae kokoteksti

Elektroninen E-kirja

13

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2013

Sisällysluettelo: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2008

Sisällysluettelo: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Hae kokoteksti

Elektroninen E-kirja

16

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

17

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Plenary -- Computational Discrete Geometry -- Exploiting Structured Sparsity in Large Scale...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2007

Sisällysluettelo: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Hae kokoteksti

Elektroninen E-kirja

19

Advances in Automatic Differentiation

Julkaistu 2008

Sisällysluettelo: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
Hae kokoteksti

Elektroninen E-kirja

20

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua