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 logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
1
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Systems -- A Logical Product Approach to Zonotope Intersection -- Fast Acceleration of Ultimately Periodic...”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 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”View full text
Electronic
eBook
9
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
10
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
11
Published 2005
Table of Contents:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”View full text
Electronic
eBook
15
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
16
Published 2013
Table of Contents:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”View full text
Electronic
eBook