279 search results - page 14 / 56 » Abstraction and refinement techniques in automated design de... |
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
INTEGRATION
2008
14 years 9 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
ICDE
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract— Performance of proxy caches for database federations that serve a large number of users is crucially dependent on its physical design. Current techniques, automated or ...
69
Voted
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...