4520 search results - page 325 / 904 » Algebraic Techniques for Timed Systems |
211
Voted
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
IDDQ testing has been used as a test technique to supplement voltage testing of CMOS chips. The idea behind IDDQ testing is to declare a chip as faulty if the steady-state current...
197
click to vote
WISE
2008
Springer
16 years 1 months ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....
167
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
186
click to vote
ATAL
2004
Springer
16 years 26 days ago
2004
Springer
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
214
Voted
INFORMATICALT
2002
15 years 7 months ago
2002
The problem of recursive estimation of a state of dynamic systems in the presence of time-varying outliers in observations to be processed has been considered. A learning phase use...