Rezultaty - parallel problems programs function section https

Inne możliwości wyszukiwania:
parallel problems » parallel problem , parallel programs , parallel process
problems programs » problems progress , problems problems , programs program
programs function » programs functional , programme function , programs fiction
function section » function detection , function relation , function solution
section https » sedation https , fiction https , infection https

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

Wydane 2008

Spis treści: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Wydane 2006

Spis treści: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Multiobjective Optimization Interactive and Evolutionary Approaches /

Wydane 2008

Spis treści: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Wydane 2008

Spis treści: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Wydane 2008

Spis treści: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Wydane 2006

Spis treści: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

COMPSTAT 2008 Proceedings in Computational Statistics /

Wydane 2008

Spis treści: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... Timetabling -- Decomposition and Parallelization of Multi-resource Timetabling Problems -- Interactively...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Wydane 2008

Spis treści: “... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Information Processing and Protection

Wydane 2007

Spis treści: “... for Loops Parallelization in the .NET Environment -- On a Nonlinear Production-Inventory Problem....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Methods

Wydane 2006

Spis treści: “... ONRBF NEURAL NETWORKS -- A HYBRID META-HEURISTIC FOR A ROUTING PROBLEM -- IDENTIFICATION OF GEOMETRIC...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty