2725 search results - page 453 / 545 » Constraint Solving for Interpolation |
102
Voted
ITC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
146
click to vote
RSP
1998
IEEE
15 years 4 months ago
1998
IEEE
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
106
Voted
KDD
1998
ACM
15 years 4 months ago
1998
ACM
Classification rule mining aims to discover a small set of rules in the database that forms an accurate classifier. Association rule mining finds all the rules existing in the dat...
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
— We present a new scheme that addresses the call handoff problem in mobile cellular networks. Efficiently solving the handoff problem is important for guaranteeing quality of s...
91
Voted
AADEBUG
1997
Springer
15 years 4 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...