Search Results - parallel f programs function function https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
View full text

Electronic eBook

2

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Published 2013

Table of Contents: “... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”
View full text

Electronic eBook

3

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

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”
View full text

Electronic eBook

5

Expert F# 4.0

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

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

Electronic eBook

6

Expert F# 3.0

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

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

7

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

8

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

9

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

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

10

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
View full text

Electronic eBook

11

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
View full text

Electronic eBook

12

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

13

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
View full text

Electronic eBook

14

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

Published 2007

Table of Contents: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
View full text

Electronic eBook

16

Classification and Data Science in the Digital Age

Published 2023

Table of Contents: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Electronic eBook

17

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Published 2007

Table of Contents: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
View full text

Electronic eBook

18

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Published 2005

Table of Contents: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
View full text

Electronic eBook

19

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

20

High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical Universi...

Published 2005

Table of Contents: “... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...”
View full text

Electronic eBook

Narrow Search