1
Опубликовано 2007
Оглавление: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2006
Оглавление: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2006
Оглавление: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2013
Оглавление: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2005
Оглавление: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2014
Оглавление: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2010
Оглавление: ...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2010
Оглавление: ... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2008
Оглавление: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2015
Оглавление: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2010
Оглавление: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Полный текст
Электронный ресурс eКнига
14
Оглавление: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2005
Оглавление: ... -- Exploring an Unknown Graph Efficiently -- Online Routing in Faulty Meshes with Sub-linear Comparative Time...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2010
Оглавление: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2008
Оглавление: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2010
Оглавление: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2010
Оглавление: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
Полный текст
Электронный ресурс eКнига