854 search results - page 1 / 171 » Addressing Dynamic Issues of Program Model Checking |
70
Voted
SPIN
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
73
Voted
SPIN
2001
Springer
15 years 1 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
73
Voted
AOSD
2004
ACM
15 years 2 months ago
2004
ACM
AspectWerkz is a framework targeted towards dynamic aspectoriented programming (AOP) in commercial applications. Based on our experience designing and supporting AspectWerkz, we h...
81
Voted
ICS
2007
Tsinghua U.
15 years 3 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
83
Voted
AOSD
2009
ACM
14 years 12 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...