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