We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
—CMOS scaling has long been a source of dramatic performance gains. However, semiconductor feature size reduction has resulted in increasing levels of operating temperatures and ...
Shantanu Gupta, Shuguang Feng, Amin Ansari, Scott ...
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...