5269 search results - page 411 / 1054 » order 2007 |
172
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
— We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dyn...
168
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
172
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
Test generation procedures attempt to assign values to the inputs of a circuit so as to detect target faults. We study a complementary view whereby the goal is to identify values ...
224
click to vote
DEXAW
2007
IEEE
16 years 2 months ago
2007
IEEE
Several classical schemes exist to represent trees as strings over a fixed alphabet; these are useful in many algorithmic and conceptual studies. Our previous work has proposed a...
188
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an automatic semantic annotation system for Korean based on the Contextual Exploration Method. Creating a morphological analyzer and part-of-speech tagger for the Korea...