提案スペルによる検索:
function computing » education computing, generation computing
parallel programs » parallel programming
programs its » programs ian, programs iii, programs ind
https » http
1
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
全文の入手
電子媒体 eBook
3
出版事項 2005
目次: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
全文の入手
電子媒体 eBook
5
著者: Comninos, Peter., Comninos, Peter.
出版事項 2006
主題: ...Computer programming....
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ... for Symbiotic Computing -- B-Dash: Agent Platform for Mutual Cognition between Human and Agents -- An Extraction...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
全文の入手
電子媒体 eBook
8
出版事項 2013
目次: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
全文の入手
電子媒体 eBook
9
出版事項 2013
目次: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
全文の入手
電子媒体 eBook
12
出版事項 2014
目次: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
全文の入手
電子媒体 eBook
13
出版事項 2006
目次: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
全文の入手
電子媒体 eBook
14
出版事項 2005
目次: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
全文の入手
電子媒体 eBook
15
出版事項 2014
目次: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
全文の入手
電子媒体 eBook
16
出版事項 2015
目次: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
全文の入手
電子媒体 eBook
17
出版事項 2008
目次: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
全文の入手
電子媒体 eBook
18
出版事項 2005
目次: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...
全文の入手
電子媒体 eBook
20
出版事項 2005
目次: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
全文の入手
電子媒体 eBook