Resultados de búsqueda - parallel nested program functionality setting https

Buscar alternativas:
program functionality » protein functionality , programs functional , supra functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel nested » parallel inverted , parallel nesting , parallel system
nested program » nested programs , invited program , based program
setting https » being https , writing https , feeding https

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

Publicado 2005

Tabla de Contenidos: “... -- Improving Parallelism of Nested Loops with Non-uniform Dependences -- A Static Data Dependence Analysis...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... with Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Enlace del recurso

Electrónico 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...

Publicado 2005

Tabla de Contenidos: “... -- Greedy Differential Approximations for Min Set Cover -- A Methodology of Visual Modeling Language...”
Enlace del recurso

Electrónico 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...

Publicado 2007

Tabla de Contenidos: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Enlace del recurso

Electrónico eBook

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

Publicado 2012

Tabla de Contenidos: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados