321 search results - page 38 / 65 » Testing protocols modeled as FSMs with timing parameters |
127
click to vote
DAC
2011
ACM
14 years 8 days ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
111
Voted
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
114
click to vote
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
We develop a semi-supervised learning method that constrains the posterior distribution of latent variables under a generative model to satisfy a rich set of feature expectation c...
105
Voted
ISNN
2009
Springer
15 years 7 months ago
2009
Springer
SM has shown a better performance than HMM in connected word recognition system; however, no reports we have read show that SM has been applied in LVCSR as decoding acoustic model ...
WSC
2000
15 years 1 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...