3688 search results - page 57 / 738 » Static analysis of aspects |
113
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
108
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Partially depleted silicon-on-insulator (PD-SOI) has emerged as a technology of choice for high-performance low-power deep-submicrometer digital integrated circuits. An important c...
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
SPLC
2007
15 years 1 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...