A Note on Detecting Sneak Paths in Transistor Networks
IEEE Transactions on Computers
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Simulation and Generation of IDDQ Tests for Bridging Faults in Combinational Circuits
IEEE Transactions on Computers
A Characterization of Binary Decision Diagrams
IEEE Transactions on Computers
Learning from examples with unspecified attribute values
Information and Computation
Hi-index | 0.01 |