Results 281 to 290 of about 23,557 (297)

Scalable SMT-Based Equivalence Checking of Nested Loop Pipelining in Behavioral Synthesis

ACM Transactions on Design Automation of Electronic Systems, 2017
Bijan Alizadeh
exaly  

Approximate Conformance Checking for Closed-Loop Systems With Neural Network Controllers

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
P Habeeb
exaly  

Loop Checking for Reduced SLD-derivations.

1994
FERRUCCI, Filomena, PACINI, Giuliano, SESSA, Maria Immacolata   +2 more
openaire   +1 more source

An Approach to Concurrent Control Flow Checking

IEEE Transactions on Software Engineering, 1980
S S Yau
exaly  

Electrical and instrumentation loop check

2013
openaire   +1 more source

Checking the transverse Ward–Takahashi relation at one-loop order in four dimensions

Journal of Physics G: Nuclear and Particle Physics, 2006
M R Pennington
exaly  

Loop Checking

openaire   +1 more source

A Check-and-Balance Scheme in Multiphase Delay-Locked Loop

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Shu-Yu Chang, Shi-Yu Huang
openaire   +1 more source

Loop checking and negation

The Journal of Logic Programming, 1993
exaly  

A contract-checking test method for CTCS Hardware-in-the-Loop Simulation system

2010
Yindong Ji
exaly