Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programmed functionality » program functionality, properties functionality, programming functional
functionality function » functionals function, functionaries function, functional functions
tools programmed » donors programmed, models programmed, tools programming
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
programmed functionality » program functionality, properties functionality, programming functional
functionality function » functionals function, functionaries function, functional functions
tools programmed » donors programmed, models programmed, tools programming
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
1
Publicado em 2006
Sumário:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2006
Sumário:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2012
Sumário:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Sumário:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
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
9
Publicado em 2008
Sumário:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2005
Sumário:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“...Programming Models and Support Tools -- Flexible Message Passing Interface for A Heterogenous...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
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
14
Publicado em 2010
Sumário:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2014
Sumário:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Por Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Publicado em 2011
Assuntos:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Publicado em 2011
Obter o texto integral
Recurso Electrónico
livro electrónico
17
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
18
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
19
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico