4476 search results - page 614 / 896 » A flexible framework for engineering |
163
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
217
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
188
click to vote
TCOM
2010
15 years 1 months ago
2010
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
182
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
218
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...