6960 search results - page 210 / 1392 » Continuity Analysis of Programs |
112
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
116
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
138
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
133
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel boosting algorithm which improves on current algorithms for weighted voting classification by striking a better balance between classification accuracy and the ...
138
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...