1768 search results - page 224 / 354 » A Logic for Algebraic Effects |
190
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In previous work, we have shown that both unsupervised feature selection and the semi-supervised clustering problem can be usefully formulated as multiobjective optimiz...
178
click to vote
DAC
2003
ACM
16 years 9 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
181
click to vote
ICTAI
2002
IEEE
16 years 1 hour ago
2002
IEEE
In order to reduce the time-to-market and simplify gatelevel test generation for digital integrated circuits, GAbased functional test generation techniques are proposed for behavi...
140
click to vote
DAC
1993
ACM
15 years 11 months ago
1993
ACM
We present an efficient and effective method for the detailed routing of symmetrical or sea-of-gates FPGA architectures. Instead of breaking the problem into 2-terminal net collec...
143
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
- This paper proposes a hardware design debugging method, Transition and Transaction Tracer (TTT), which probes and records the signals of interest for a long time, hours, days, or...