4516 search results - page 749 / 904 » Automated System Design for Availability |
178
click to vote
FDL
2008
IEEE
16 years 15 days ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
171
Voted
MSR
2006
ACM
16 years 8 hour ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
199
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
160
click to vote
ISPD
2004
ACM
15 years 11 months ago
2004
ACM
Automated cell placement is a critical problem in VLSI physical design. New analytical placement methods that simultaneously spread cells and optimize wirelength have recently rec...
161
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...