6719 search results - page 1067 / 1344 » A Generalization of Automatic Sequences |
187
click to vote
JCDL
2010
ACM
16 years 11 days ago
2010
ACM
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
206
click to vote
GLVLSI
2002
IEEE
16 years 8 days ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
205
click to vote
ISSS
2002
IEEE
16 years 6 days ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
177
click to vote
ISSS
2002
IEEE
16 years 6 days ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
170
click to vote
IV
2002
IEEE
16 years 6 days ago
2002
IEEE
We present a preprocessor for the spring embedder graph drawing method and show its use in speeding up the automatic layout of three-dimensional visualizations of WWW sites. Sprin...