2520 search results - page 80 / 504 » Model-checking behavioral programs |
79
Voted
PPPJ
2004
ACM
15 years 6 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
93
Voted
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
156
click to vote
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
116
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
133
Voted
ICS
2004
Tsinghua U.
15 years 6 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...