Resultados da pesquisa - parallel nesting programs functionality function https*

Pesquisas alternativas:
programs functionality » program functionality , programs functional , properties functionality
functionality function » functionals function , functionaries function , functional functions
parallel nesting » parallel meshing , parallel routing , parallel using
nesting programs » testing programs , testing program , testing programmes
function https » functions https , fiction https

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Publicado em 2005

Sumário: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Obter o texto integral

Recurso Electrónico livro electrónico

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: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Publicado em 2014

Sumário: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2013

Sumário: “... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Publicado em 2007

Sumário: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Obter o texto integral

Recurso Electrónico livro electrónico

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Publicado em 2012

Sumário: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Obter o texto integral

Recurso Electrónico livro electrónico

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Publicado em 2005

Sumário: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Obter o texto integral

Recurso Electrónico livro electrónico

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Publicado em 2007

Sumário: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa