Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
function selection » functions selection, functional selection, function detection
selection programs » selection programme, selecting programs, selection progress
computer https » computers https, computing https, computer arts
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
function selection » functions selection, functional selection, function detection
selection programs » selection programme, selecting programs, selection progress
computer https » computers https, computing https, computer arts
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Dissortative Mating Genetic Algorithm in Fast Non-stationary Fitness Functions -- A Receding Horizon Genetic...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Agricultural Development Programming -- Designation of R&D on Pig Production Intelligent Monitoring and Early...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
18
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”View full text
Electronic
eBook