469 search results - page 52 / 94 » Enabling RTR for industry |
142
click to vote
DAC
2007
ACM
16 years 6 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...
127
click to vote
DAC
2005
ACM
16 years 6 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...
180
click to vote
WWW
2001
ACM
16 years 6 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 ...
152
click to vote
ICSE
2004
IEEE-ACM
16 years 6 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...
128
click to vote
ESORICS
2002
Springer
16 years 5 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...