469 search results - page 52 / 94 » Enabling RTR for industry |
DAC
2007
ACM
15 years 11 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
WWW
2001
ACM
15 years 11 months ago
2001
ACM
Construct web applications to provide dynamic, personalized web contents with high scalability and performance is a challenge to the software industry in the new Internet era. In ...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
ESORICS
2002
Springer
15 years 10 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...