849 search results - page 85 / 170 » The Early Restart Algorithm |
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Improving testability during the early stages of High-Level Synthesis (HLS) has several benefits, including reduced test hardware overhead, reduced test costs, reduced design iter...
CONCUR
2003
Springer
14 years 3 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
CC
2001
Springer
14 years 2 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
We introduce an online adaptive algorithm for learning gesture models. By learning gesture models in an online fashion, the gesture recognition process is made more robust, and th...