461 search results - page 70 / 93 » An Algorithm for Bi-Decomposition of Logic Functions |
265
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
112
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
115
Voted
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
136
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
126
Voted
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...