1179 search results - page 117 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
112
click to vote
FTCS
1997
15 years 5 months ago
1997
A common problem in the operation of mission critical control systems is that of determining the future value of a physical quantity based upon past measurements of it or of relat...
152
click to vote
IVC
2011
14 years 11 months ago
2011
In this paper a facial feature point tracker that is motivated by applications such as human-computer interfaces and facial expression analysis systems is proposed. The proposed t...
194
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
140
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
162
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...