Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computation » functions composition, function composition, functional composition
programming execution » programming evacuation, programming evolution, programming education
function computation » function computing, function decomposition, section computational
execution engine » execution time
functions computation » functions composition, function composition, functional composition
programming execution » programming evacuation, programming evolution, programming education
function computation » function computing, function decomposition, section computational
execution engine » execution time
1
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... in Distributed Component-Based Software -- A Study of Execution Environments for Software Components...”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 2014
Table of Contents:
“... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”View full text
Electronic
eBook
7
8
Published 2015
Table of Contents:
“... Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative Reasoning...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...CMMI RAMS Extension Based on CENELEC Railway Standard -- The Importance of Single-Source...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... FOR MICROSTRUCTURE-BASED COMPUTATIONAL MICRO-MECHANICS OF HETEROGENEOUS MATERIALS -- A UNIFORM EXPRESSION...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... from Trusted Execution Environments -- Anonymous Authentication with TLS and DAA -- Group-Based...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Listed Companies Based on DEA -- Fuzzy Logic and Soft Computing -- Research on Differential Evolution...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...”View full text
Electronic
eBook