8141 search results - page 1279 / 1629 » Higher Order Generalization |
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
213
click to vote
JSW
2006
15 years 6 months ago
2006
The high competition among network providers places a demand for new ways to design network services with near zero development time, low cost, and high degrees of customization an...
169
click to vote
ET
2007
15 years 6 months ago
2007
In this paper, we present an exhaustive study on the influence of resistive-open defects in pre-charge circuits of SRAM memories. In SRAM memories, the pre-charge circuits operate...
148
click to vote
FMSD
2007
15 years 6 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
158
click to vote
MMS
2006
15 years 6 months ago
2006
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...