Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques

2010 IEEE Computer Society Annual Symposium on VLSI ◽

10.1109/isvlsi.2010.58 ◽

2010 ◽

Author(s):

Chandan Karfa ◽

Dipankar Sarkar ◽

Chittaranjan Mandal

Keyword(s):

Data Flow ◽

Equivalence Checking ◽

Download Full-text

Formal verification of code motion techniques using data-flow-driven equivalence checking

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/2209291.2209303 ◽

2012 ◽

Vol 17 (3) ◽

pp. 1-37 ◽

Author(s):

Chandan Karfa ◽

Chittaranjan Mandal ◽

Dipankar Sarkar

Keyword(s):

Formal Verification ◽

Data Flow ◽

Equivalence Checking ◽

Download Full-text

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_1 ◽

1998 ◽

pp. 1-16 ◽

Author(s):

Oliver Rüthing

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Download Full-text

Code motion in the presence of critical edges without bidirectional data flow analysis

Science of Computer Programming ◽

10.1016/s0167-6423(00)00016-2 ◽

2001 ◽

Vol 39 (1) ◽

pp. 3-29 ◽

Author(s):

Oliver Rüthing

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Download Full-text

A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques

2012 International Symposium on Electronic System Design (ISED) ◽

10.1109/ised.2012.28 ◽

2012 ◽

Author(s):

Kunal Banerjee ◽

Chandan Karfa ◽

Dipankar Sarkar ◽

Chittaranjan Mandal

Keyword(s):

Equivalence Checking ◽

A Value ◽

Download Full-text

Methods and devices for teaching data flow to electronics maintenance personnel. (Task Trace I.).

PsycEXTRA Dataset ◽

10.1037/e404892004-001 ◽

1962 ◽

Author(s):

A. James McKnight

Keyword(s):

Data Flow ◽

Maintenance Personnel

Download Full-text

Data flow: The general problem and a cognitive model.

PsycEXTRA Dataset ◽

10.1037/e434262004-001 ◽

1962 ◽

Author(s):

Charles W. Dean ◽

Jerome V. Lisovich

Keyword(s):

General Problem ◽

Data Flow ◽

Cognitive Model

Download Full-text

Space—time mapping, latency of data flow and concurrent error detection in systolic arrays

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1993.0004 ◽

1993 ◽

Vol 140 (1) ◽

pp. 33

Author(s):

H.F. Li ◽

C.N. Zhang ◽

R. Jayakumar

Keyword(s):

Error Detection ◽

Data Flow ◽

Systolic Arrays ◽

Concurrent Error Detection

Download Full-text

Experience in Developing Legislation to Support South Africa's Mandatory GHG Emissions Reporting Program and National Inventory Data Flow

10.1596/29120 ◽

2016 ◽

Author(s):

Keyword(s):

Data Flow ◽

Ghg Emissions ◽

Inventory Data ◽

National Inventory

Download Full-text

Binary Data Flow Coding by the Method of Periodic Transposition Based on Neuron Network Logic Modules

Telecommunications and Radio Engineering ◽

10.1615/telecomradeng.v64.i5.70 ◽

2005 ◽

Vol 64 (5) ◽

pp. 407-417

Author(s):

V. N. Lopin ◽

I. S. Zakharov

Keyword(s):

Binary Data ◽

Data Flow ◽

Neuron Network ◽

Download Full-text

Risk-adapted management of data flow parameters of infocommunication networks in critical infrastructure systems

10.30837/978-9984-891-14-9 ◽

2020 ◽

Author(s):

Viktor Kosenko ◽

Igor Nevliudov

Keyword(s):

Data Flow ◽

Critical Infrastructure ◽

Infrastructure Systems ◽

Flow Parameters ◽

Critical Infrastructure Systems

Download Full-text