Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
function control » functions control, junction control, functional control
https* » http*
parallel function » parallel functional, parallel auction, parallel union
function program » functional program, functions programs, functional programs
program function » programme function, programs functional, program foundation
function control » functions control, junction control, functional control
https* » http*
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
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
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
4
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Structures -- Bioreactor Control by Genetic Programming -- Solving the One-Commodity Pickup and Delivery...”View full text
Electronic
eBook
15
Table of Contents:
“... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
20
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Published 2011
View full text
Electronic
eBook