الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
1
منشور في 2015
جدول المحتويات:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... Systems -- A Logical Product Approach to Zonotope Intersection -- Fast Acceleration of Ultimately Periodic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2007
جدول المحتويات:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“...Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2005
جدول المحتويات:
“...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2006
جدول المحتويات:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2014
جدول المحتويات:
“.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2014
جدول المحتويات:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2013
جدول المحتويات:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2006
جدول المحتويات:
“... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2006
جدول المحتويات:
“... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2012
جدول المحتويات:
“... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”احصل على النص الكامل
الكتروني
كتاب الكتروني