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