898 search results - page 86 / 180 » Transitions of the Pre-Symmetry Set |
221
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
188
click to vote
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
In real sequence labeling tasks, statistics of many higher order features are not sufficient due to the training data sparseness, very few of them are useful. We describe Sparse H...
146
click to vote
KBSE
2007
IEEE
16 years 21 days ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
155
click to vote
MTV
2007
IEEE
16 years 21 days ago
2007
IEEE
Test vector ordering is recognized as a simple and non-intrusive approach to assist test power reduction. Simulation based test vector ordering approach to minimize circuit transit...
152
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...