11588 search results - page 93 / 2318 » Will They Like This |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
SAS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
We report results from a small Wizard-of-Oz study investigating user responses to miscommunications in speech dialogue systems. We explore the separate and joint effects of miscom...