186 search results - page 20 / 38 » Compositional modeling and refinement for hierarchical hybri... |
132
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
152
click to vote
PTS
2008
15 years 7 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
169
click to vote
ACL
2009
15 years 3 months ago
2009
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Non-biological signal (or noise) has been the bane of microarray analysis. Hybridization effects related to probe-sequence composition and DNA dye-probe interactions h...