1
Publié 2005
Table des matières: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
Accéder au texte intégral
Électronique eBook
2
Publié 2007
Table des matières: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Accéder au texte intégral
Électronique eBook
5
Publié 2015
Table des matières: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Accéder au texte intégral
Électronique eBook
6
Publié 2005
Table des matières: ... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...
Accéder au texte intégral
Électronique eBook
7
Publié 2005
Table des matières: ... on the Grid Using Irregular Array Distributions -- Dynamic Adaptation for Grid Computing -- Improving...
Accéder au texte intégral
Électronique eBook
8
Publié 2014
Table des matières: ... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...
Accéder au texte intégral
Électronique eBook
9
Publié 2007
Table des matières: ... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...
Accéder au texte intégral
Électronique eBook
12
Publié 2013
Table des matières: ... Detection in Videos -- Efficient Clothing Retrieval with Semantic-Preserving Visual Phrases -- VISOR...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Accéder au texte intégral
Électronique eBook
14
Publié 2015
Table des matières: ... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
Accéder au texte intégral
Électronique eBook
16
Publié 2006
Table des matières: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Accéder au texte intégral
Électronique eBook
17
Publié 2014
Table des matières: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Accéder au texte intégral
Électronique eBook
18
Publié 2012
Table des matières: ... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... Record Detection Using q-Grams Array Inverted Index -- Modelling Complex Data by Learning Which Variable...
Accéder au texte intégral
Électronique eBook
20
Publié 2014
Table des matières: ... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...
Accéder au texte intégral
Électronique eBook