Search Results - parallel nets program functionality using https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
parallel nets » parallel netcdf , parallel nested , parallel newton
nets program » net program , needs program , kes program
using https » using http , nursing https , aging https

Pro .NET 4 Parallel Programming in C#

by Freeman, Adam., Freeman, Adam.
Published 2010

Table of Contents: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
View full text

Electronic eBook

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text

Electronic eBook

Visual C# 2010 Recipes A Problem-Solution Approach /

by Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Published 2010

Table of Contents: “... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
View full text

Electronic eBook

Beginning F#

by Pickering, Robert., Pickering, Robert.
Published 2010

Table of Contents: “...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
View full text

Electronic eBook

Applied WPF 4 in Context

by Garofalo, Raffaele., Garofalo, Raffaele.
Published 2011

Subjects: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text

Electronic eBook

Expert F# 3.0

by Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Published 2012

Subjects: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text

Electronic eBook

Multilayer Neural Networks A Generalized Net Perspective /

by Krawczak, Maciej., Krawczak, Maciej.
Published 2013

Table of Contents: “...Introduction to Multilayer Neural Networks -- Basics of Generalized Nets -- Simulation Process...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
View full text

Electronic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
View full text

Electronic eBook

Narrow Search