Search Results - parallel using program foundation function https

Search alternatives:
foundation function » foundation foundation , function function , foundations auctions
program foundation » prosea foundation , program formulation , programming foundations
parallel using » parallel routing , parallel parking , parallel imaging
function https » functions https , fiction https
using program » testing program , using problem , using programming

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

Published 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
View full text

Electronic eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
View full text

Electronic eBook

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Published 2005

Table of Contents: “... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...”
View full text

Electronic eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Published 2005

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

Electronic eBook

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

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2011

Table of Contents: “...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
View full text

Electronic eBook

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2012

Table of Contents: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
View full text

Electronic eBook

A Primer on Scientific Programming with Python

by Langtangen, Hans Petter., Langtangen, Hans Petter.
Published 2014

Table of Contents: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
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

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

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

by Karrenberg, Ralf., Karrenberg, Ralf.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Applied WPF 4 in Context

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

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
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: “... Programming -- Using LINQ -- Windows Presentation Foundation....”
View full text

Electronic eBook

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”
View full text

Electronic eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
View full text

Electronic eBook

Topological Methods in Data Analysis and Visualization III Theory, Algorithms, and Applications /

Published 2014

Table of Contents: “... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...”
View full text

Electronic eBook

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Published 2012

Table of Contents: “...? Predicting the Evolution of Individuals -- Use of General Purpose GPU Programing to Enhance...”
View full text

Electronic eBook

Narrow Search