Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming inference » programming conference, programming reference, programming references
parallel programming » parallel processing
inference function » inference functions, influence functions, reference functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programming inference » programming conference, programming reference, programming references
parallel programming » parallel processing
inference function » inference functions, influence functions, reference functions
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Publicado em 2005
Sumário:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado em 2014
Sumário:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2012
Sumário:
“... to Statistical Inference -- 2. Using D-Spectra in Network Monte Carlo: Estimation of System Reliability...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2013
Sumário:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2010
Sumário:
“... for Possibility Distributions -- On Nonparametric Predictive Inference for Ordinal Data -- Using Cloudy Kernels...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2015
Sumário:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2013
Sumário:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2013
Sumário:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
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
15
Publicado em 2014
Sumário:
“... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2010
Sumário:
“... Communication Mechanism for Agent-Based Framework in Ubiquitous Computing Environment -- An Effective Inference...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]