2520 search results - page 335 / 504 » Model-checking behavioral programs |
222
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
135
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
110
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
132
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
125
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...