Search Results - "General and reference Cross-computing tools and techniques Reliability"

Accurate Interprocedural Null-Dereference Analysis for Java by Nanda, Mangala Gowri, Sinha, Saurabh

“…Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools…”
Get full text

Modular string-sensitive permission analysis with demand-driven precision by Geay, Emmanuel, Pistoia, Marco, Takaaki Tateishi, Ryder, Barbara G., Dolby, Julian

“… This has made it necessary to subject component providers to access-control restrictions. What permissions should be granted to each component…”
Get full text

SDCTune: A model for predicting the SDC proneness of an application for configurable protection by Qining Lu, Pattabiraman, Karthik, Gupta, Meeta S., Rivers, Jude A.

“… We then develop an algorithm using SDCTune to selectively protect the most SDC-prone data in the program subject to a given performance overhead bound…”
Get full text

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing by Lai, Zhifeng, Cheung, S. C., Chan, W. K.

“…Concurrency bugs are notoriously difficult to detect because there can be vast combinations of interleavings among concurrent threads, yet only a small…”
Get full text

Sensor Selection for Minimizing Worst-Case Prediction Error by Das, Abhimanyu, Kempe, David

“… The goal is then to select a subset of sensors so as to minimize the prediction error, assuming that the actual values at unsampled sensors are worst-case subject to the constraints imposed…”
Get full text

Cooperative safety: a combination of multiple technologies by Penazzi, Raffaele, Capozio, Piergiorgio, Duncan, Martin, Scuderi, Angelo, Siti, Max, Merli, Edoardo

“… The achievement of these objectives is subject to development of three aspects: Transmission, Localization and Sensor Networks…”
Get full text

Automated support for classifying software failure reports by Podgurski, Andy, Leon, David, Francis, Patrick, Masri, Wes, Minch, Melinda, Sun, Jiayang, Wang, Bin

“… The results of applying the proposed classification strategy to failures of three large subject programs are reported…”
Get full text