4276 search results - page 147 / 856 » Techniques for Empirical Validation |
152
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
171
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a novel global routing and cross-point assignment methodology for sea-of-gates (SOG) designs. Using the proposed congestion driven spanning trees (CDST), and continuous...
152
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
166
click to vote
GRAPHICSINTERFACE
2003
15 years 7 months ago
2003
We present a critique of language-based modelling for text input research, and propose an alternative inputbased approach. Current language-based statistical models are derived fr...
119
click to vote
CAS
1999
15 years 6 months ago
1999
In this paper, we formalize and prove the statement that coincidences cannot be accidental, a statement that underlies many useful heuristics in mathematics and physics. Our proof...