1879 search results - page 221 / 376 » Extending Reflective Architectures |
DAC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
DAC
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
112
Voted
DAC
2006
ACM
15 years 12 months ago
2006
ACM
Increasing resistivity of copper with scaling and rising demands on current density requirements are driving the need to identify new wiring solutions for deep nanometer scale VLS...
WWW
2001
ACM
15 years 11 months ago
2001
ACM
WebQuilt is a web logging and visualization system that helps web design teams run usability tests (both local and remote) and analyze the collected data. Logging is done through ...
VLSID
2004
IEEE
15 years 11 months ago
2004
IEEE
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...