Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel control » parallelism control, parallel cognition, parasites control
control programs » control programmes, control problems, control programming
function https » functions https, fiction https
programs functionality » program functionality, programs functional, properties functionality
functionality function » functionals function, functionaries function, functional functions
parallel control » parallelism control, parallel cognition, parasites control
control programs » control programmes, control problems, control programming
function https » functions https, fiction https
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
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
16
Table of Contents:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
View full text
View full text
Electronic
eBook
18
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
19
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
20
Table of Contents:
“... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...”
View full text
View full text
Electronic
eBook