707 search results - page 85 / 142 » Experimental comparison of control architectures |
DAC
2005
ACM
14 years 10 months ago
2005
ACM
This paper presents a novel repeater insertion algorithm for the power minimization of realistic interconnect trees under given timing budgets. Our algorithm judiciously combines ...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
We present an empirical evaluation and comparison of two content extraction methods in HTML: absolute XPath expressions and relative XPath expressions. We argue that the relative ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Urban designers and urban planners often conduct site visits prior to a design activity to search for patterns or better understand existing conditions. We introduce SiteLens, an ...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
We propose a non-intrusive methodology for concurrent fault detection in FSMs. The proposed method is similar to duplication, wherein a replica of the circuit acts as a predictor ...