関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
based function » based functional, basis function, basic function
programs based » programs case, programming based
function https » functions https, fiction https
data programs » darpa programs, natal programs, java programs
based function » based functional, basis function, basic function
programs based » programs case, programming based
function https » functions https, fiction https
data programs » darpa programs, natal programs, java programs
1
出版事項 2006
目次:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”全文の入手
電子媒体
eBook
2
出版事項 2010
目次:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”全文の入手
電子媒体
eBook
3
出版事項 2006
目次:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”全文の入手
電子媒体
eBook
4
出版事項 2010
目次:
“... Deployment in Virtual Data Center -- A Resource Discovery Algorithm in Mobile Grid Computing Based on IP...”全文の入手
電子媒体
eBook
5
出版事項 2007
目次:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”全文の入手
電子媒体
eBook
6
出版事項 2008
目次:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”全文の入手
電子媒体
eBook
7
出版事項 2010
目次:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”全文の入手
電子媒体
eBook
8
出版事項 2010
目次:
“... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”全文の入手
電子媒体
eBook
9
出版事項 2007
目次:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”全文の入手
電子媒体
eBook
10
出版事項 2005
目次:
“... -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus Based Equipment...”全文の入手
電子媒体
eBook
11
出版事項 2008
目次:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”全文の入手
電子媒体
eBook
12
出版事項 2010
目次:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”全文の入手
電子媒体
eBook
13
出版事項 2008
目次:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”全文の入手
電子媒体
eBook
15
出版事項 2008
目次:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”全文の入手
電子媒体
eBook
16
出版事項 2005
目次:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”全文の入手
電子媒体
eBook
17
出版事項 2006
目次:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”全文の入手
電子媒体
eBook
18
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
出版事項 2015
目次:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”全文の入手
電子媒体
eBook
19
出版事項 2005
目次:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”全文の入手
電子媒体
eBook
20
出版事項 2008
目次:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”全文の入手
電子媒体
eBook