Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming loops » programming oop, programming logics, programming logic
loops arrays » look arrays, lens arrays
arrays a » arrays _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming loops » programming oop, programming logics, programming logic
loops arrays » look arrays, lens arrays
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 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...-Threshold Computing of ECRL Circuits for Ultralow-Power Applications -- A Dual-Threshold CMOS Technique of P...”View full text
Electronic
eBook
9
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
10
Published 2007
Table of Contents:
“... Problem on a Line – Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... of the Anticipatory Reflexes of a Computational Model of the Cerebellum -- Evolving Optimal Swimming in Different...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Identification of Target Genes of a Yeast Transcriptional Repressor -- Detection of an mRNA Polymorphism...”View full text
Electronic
eBook