461 search results - page 70 / 93 » An Algorithm for Bi-Decomposition of Logic Functions |
196
click to vote
ICFP
2009
ACM
15 years 10 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...
CADE
2004
Springer
15 years 10 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...
ISMVL
2007
IEEE
15 years 3 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...
ISVLSI
2007
IEEE
15 years 3 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...
FSKD
2007
Springer
15 years 3 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...