Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel evaluation » parallel valuation, parallel evolution, parallel evolutions
evaluation programs » evaluation program, evaluating programs, evolution programs
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel evaluation » parallel valuation, parallel evolution, parallel evolutions
evaluation programs » evaluation program, evaluating programs, evolution programs
function https » functions https, fiction https
1
Опубликовано 2010
Оглавление:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2007
Оглавление:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2010
Оглавление:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2005
Оглавление:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2008
Оглавление:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2006
Оглавление:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2005
Оглавление:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2010
Оглавление:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2008
Оглавление:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига