5196 search results - page 283 / 1040 » State of Application Assessment |
187
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
154
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Information fusion has a potential applicability to a multitude of different applications. Still, the JDL model is mostly used to describe defense applications. This paper descri...
177
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...
162
click to vote
ISQED
2010
IEEE
16 years 1 months ago
2010
IEEE
— Post-silicon debug comprises a significant and highly variable fraction of the total development time for large chip designs. To accelerate post-silicon debug, BackSpace [1, 2...
162
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
Two fast algorithms for static test sequence compaction are proposed for sequential circuits. The algorithms are based on the observation that test sequences traverse through a sm...