1
出版事項 2008
目次: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
全文の入手
電子媒体 eBook
3
出版事項 2007
目次: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
全文の入手
電子媒体 eBook
4
出版事項 2008
目次: ... Impaired PSENs through a Computer Mediated Distance Learning Program....
全文の入手
電子媒体 eBook
5
著者: Thomas, Adrian., Thomas, Adrian.
出版事項 2008
目次: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...
全文の入手
電子媒体 eBook
8
出版事項 2013
目次: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
全文の入手
電子媒体 eBook
10
出版事項 2010
目次: ... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...
全文の入手
電子媒体 eBook
11
出版事項 2010
目次: ... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...
全文の入手
電子媒体 eBook
13
著者: Albert, Jim., Albert, Jim.
出版事項 2007
目次: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
全文の入手
電子媒体 eBook
14
著者: Pande, Arun., Pande, Arun.
出版事項 2014
主題: ...Computer programming....
全文の入手
電子媒体 eBook
15
出版事項 2007
目次: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
全文の入手
電子媒体 eBook
16
出版事項 2010
目次: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
全文の入手
電子媒体 eBook
17
出版事項 2006
目次: ... Environments -- Session 3: Peer-to-Peer Computing -- The Peering Problem in Tree-Based Master/Worker Overlays...
全文の入手
電子媒体 eBook
18
出版事項 2007
目次: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
全文の入手
電子媒体 eBook
19
出版事項 2008
目次: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
全文の入手
電子媒体 eBook
20
出版事項 2013
目次: ... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...
全文の入手
電子媒体 eBook