Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
recursion functionality » security functionality, design functionality, receptor functionality
functionality computing » functionality combining, function computing, functionality using
programming recursion » programming decision, programming session, programming decisions
parallel programming » parallel processing
https » http
recursion functionality » security functionality, design functionality, receptor functionality
functionality computing » functionality combining, function computing, functionality using
programming recursion » programming decision, programming session, programming decisions
parallel programming » parallel processing
https » http
1
Опубликовано 2006
Оглавление:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2006
Оглавление:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2015
Оглавление:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2012
Оглавление:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2010
Оглавление:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Полный текст
Электронный ресурс
eКнига
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Опубликовано 2015
Оглавление:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Полный текст
Электронный ресурс
eКнига
14
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Книга
15
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2015
Оглавление:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2013
Оглавление:
“... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- Следующий »
- [2]