1781 search results - page 312 / 357 » Visualizing program execution using user abstractions |
125
click to vote
LREC
2010
15 years 6 months ago
2010
Language resources, including corpus and tools, are normally required to be combined in order to achieve a user's specific task. However, resources tend to be developed indep...
153
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
153
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
Software product lines gain momentum in research and industry. duct-line approaches use features as a central abstraction mechanism. Feature-oriented software development aims at ...
160
Voted
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
134
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...