2057 search results - page 53 / 412 » Quadratic placement using an improved timing model |
ISSTA
1998
ACM
15 years 3 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...
ICASSP
2010
IEEE
15 years 18 hour ago
2010
IEEE
Integrating Parts of Speech (POS) information to Machine Translation (MT) model usually amounts to significant changes in the MT decoder. We present a method to rapidly integrate...
111
click to vote
IR
2010
14 years 10 months ago
2010
In this article we present Supervised Semantic Indexing (SSI) which defines a class of nonlinear (quadratic) models that are discriminatively trained to directly map from the word...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...