1992 search results - page 189 / 399 » Model Based Testing with Labelled Transition Systems |
235
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
139
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
141
click to vote
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
147
click to vote
JCIT
2010
14 years 10 months ago
2010
In this paper we propose a signal-to-interference (SIR)-based distributed Call Admission Control (CAC) strategy that considers the combined effect of both call and packet level qu...
139
click to vote
NAACL
2007
15 years 5 months ago
2007
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...