Rezultaty - parallel execution programs functionality net https

Inne możliwości wyszukiwania:
programs functionality » program functionality , programs functional , properties functionality
execution programs » executive programs , executive program , evolution programs
functionality net » functionality test , functionality pt , functionality needs
https » http

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Wydane 2014

Spis treści: “... Rules -- Parallel Thinning with Complex Objects and Actors -- Causal Nets for Geometrical Gandy–Paun...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
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: “... Morphodynamical Prediction System on Cluster Computers -- Implementing a Parallel NetCDF Interface for Seamless...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Wydane 2013

Spis treści: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “...-inspired Multi-net Paralleling Mechanism Based on Web Application -- DRN: A CORBA-Based Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... Integration with Uncertainty -- Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Methods

Wydane 2006

Spis treści: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty