1
著者: Freeman, Adam., Freeman, Adam.
出版事項 2010
目次: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
全文の入手
電子媒体 eBook
3
出版事項 2007
目次: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
全文の入手
電子媒体 eBook
4
出版事項 2006
目次: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
全文の入手
電子媒体 eBook
5
出版事項 2006
目次: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
全文の入手
電子媒体 eBook
8
出版事項 2005
目次: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
全文の入手
電子媒体 eBook
9
出版事項 2008
目次: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
全文の入手
電子媒体 eBook
12
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook
13
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
14
出版事項 2008
目次: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
全文の入手
電子媒体 eBook
15
出版事項 2013
目次: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
全文の入手
電子媒体 eBook
16
出版事項 2006
目次: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
全文の入手
電子媒体 eBook
17
出版事項 2015
目次: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
全文の入手
電子媒体 eBook
18
出版事項 2015
目次: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
全文の入手
電子媒体 eBook
19
出版事項 2010
目次: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
全文の入手
電子媒体 eBook