Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
constructing function » constructions function, constructive function, construction functions
programs constructing » program constructing, programs constructive, program construction
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
constructing function » constructions function, constructive function, construction functions
programs constructing » program constructing, programs constructive, program construction
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Опубликовано 2010
Оглавление:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2012
Оглавление:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2007
Оглавление:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2014
Оглавление:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2015
Оглавление:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2015
Оглавление:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Полный текст
Электронный ресурс
eКнига
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Опубликовано 2014
Оглавление:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Полный текст
Электронный ресурс
eКнига
15
по Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Опубликовано 2011
Предметы:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Опубликовано 2011
Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”Полный текст
Электронный ресурс
eКнига
18
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Опубликовано 2006
Оглавление:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Полный текст
Электронный ресурс
eКнига