6111 search results - page 253 / 1223 » Time, Hardware, and Uniformity |
106
Voted
ASPDAC
1998
ACM
15 years 4 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
146
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Dynamic voltage scaling (DVS) circuits have been widely adopted in many computing systems to provide tradeoff between performance and power consumption. The effective use of energ...
139
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
127
click to vote
VLSISP
2008
15 years 21 days ago
2008
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...