1
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Testo
Elettronico eBook
3
di Pickering, Robert., Pickering, Robert.
Pubblicazione 2010
Sommario: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
Testo
Elettronico eBook
4
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...
Testo
Elettronico eBook
6
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook
7
Sommario: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Testo
Elettronico eBook
8
Pubblicazione 2014
Sommario: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Testo
Elettronico eBook
10
Pubblicazione 2006
Sommario: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Testo
Elettronico eBook
11
Pubblicazione 2007
Sommario: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Testo
Elettronico eBook
12
Pubblicazione 2010
Sommario: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testo
Elettronico eBook
13
Pubblicazione 2007
Sommario: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Testo
Elettronico eBook
14
Pubblicazione 2007
Sommario: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Testo
Elettronico eBook
15
Pubblicazione 2005
Sommario: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Testo
Elettronico eBook
16
Pubblicazione 2007
Sommario: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Testo
Elettronico eBook
17
Pubblicazione 2005
Sommario: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Testo
Elettronico eBook
18
Pubblicazione 2014
Sommario: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
Testo
Elettronico eBook
20
Pubblicazione 2007
Sommario: ... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...
Testo
Elettronico eBook