Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming computational » programming computation, program computational, processing computational
functions computational » functions computation, function computation, directions computational
function decomposition » functional decomposition, factor decomposition
programming computational » programming computation, program computational, processing computational
functions computational » functions computation, function computation, directions computational
function decomposition » functional decomposition, factor decomposition
1
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Planning Method -- Web-based Service Portal in Healthcare -- Decomposition of Head-Related Transfer...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
8
9
Published 2008
Table of Contents:
“...Multichromosomal Genome Median and Halving Problems -- A Branch-and-Bound Method...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding...”View full text
Electronic
eBook
13
Published 2011
Table of Contents:
“... Decomposition -- Attitude and Position Tracking / Kinematics -- Calibration of Target Positions using Conformal...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...) -- Development of NZMATH -- KASH: Recent Developments -- Methods in Computational Number Theory (David Sevilla...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks -- Identification...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Partitioning Of Problems Through Submodel Decomposition— A Promising Technique Of Det -- Session 2 Distributed...”View full text
Electronic
eBook
18
Table of Contents:
“... Vector Machines -- Training Methods -- Kernel-Based Methods Kernel@Kernel-based method -- Feature...”
View full text
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Methods -- Comparative Analysis of Genetic Algorithm, Simulated Annealing and Cutting Angle Method...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Decompositions: A Review -- Distributed Block Coordinate Descent for Minimizing Partially Separable Functions...”View full text
Electronic
eBook