3216 search results - page 606 / 644 » Software engineering issues for mobile application developme... |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
KDD
2010
ACM
13 years 11 months ago
2010
ACM
Memory leaks are caused by software programs that prevent the reclamation of memory that is no longer in use. They can cause significant slowdowns, exhaustion of available storag...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
Standardized middleware is used to build large distributed real-time and enterprise (DRE) systems. These middleware are highly flexible and support a large number of features sin...