Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Published 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- PSO Advances and Application to Inverse Problems -- Adaptive and Accelerated Exploration Particle...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Correlation-Based Intrinsic Image Extraction from a Single Image -- ADICT: Accurate Direct and Inverse Color...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”View full text
Electronic
eBook



