526 search results - page 21 / 106 » Improved Decomposition of STGs |
DAC
1996
ACM
14 years 2 months ago
1996
ACM
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
DAC
1999
ACM
14 years 10 months ago
1999
ACM
Finding the minimum column multiplicity for a bound set of variables is an important problem in Curtis decomposition. To investigate this problem, we compared two graphcoloring pr...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
A novel blind subspace-based channel estimation technique is developed for direct-sequence code division multiple-access (DS-CDMA) systems operating in unknown wide-sense stationa...
HT
1996
ACM
14 years 2 months ago
1996
ACM
With the widespread use of full-text information retrieval, passage-retrieval techniques are becoming increasingly popular. Larger texts can then be replaced by important text exc...