137 search results - page 3 / 28 » Some recent advances in automated analysis |
DAC
1998
ACM
14 years 6 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
IWPC
2003
IEEE
2003
IEEE
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
13 years 10 months ago
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
NAACL
1994
13 years 6 months ago
1994
Much interest already exists in the electronics research community for developing and integrating speech technology to a variety of applications, ranging from voice-activated syst...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
ADC
2010
Springer
13 years 11 days ago
2010
Springer
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...