Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implicit functionality » implicit functions, implicit function, multi functionality
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
programs implicit » programs impact, problems implicit, programming implicit
function https » functions https, fiction https
implicit functionality » implicit functions, implicit function, multi functionality
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
programs implicit » programs impact, problems implicit, programming implicit
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
2
by Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Published 2012
Table of Contents:
“... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”Published 2012
View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Cogitative Priming with Self-Speech: Implicit Memory Intervention for Improvement in Daily Motor Function...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Using Genetic Programming -- Implicit Fitness Sharing for Evolutionary Synthesis of License Plate...”View full text
Electronic
eBook