Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming function » programming functional, programming functionals, programme function
generation computing » generation computer, generation computers, education computing
https generation » status generation, its generation, arts generation
function https » functions https, fiction https
programming function » programming functional, programming functionals, programme function
generation computing » generation computer, generation computers, education computing
https generation » status generation, its generation, arts generation
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
3
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
9
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Published 2010
Table of Contents:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”View full text
Electronic
eBook
10
Table of Contents:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
View full text
View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
16
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
20
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