Risultati della ricerca - parallel nested program functioning using https

Cerca anche:
program functioning » program functionality , programs functional , project functioning
functioning using » function using , functions using , functioning among
parallel nested » parallel inverted , parallel nesting , parallel system
nested program » nested programs , invited program , based program
using https » using http , nursing https , aging https

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

Pubblicazione 2006

Sommario: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Testo

Elettronico eBook

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

Pubblicazione 2015

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

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Testo

Elettronico eBook

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

Pubblicazione 2012

Sommario: “... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Testo

Elettronico eBook

Restringi la ricerca