315 search results - page 49 / 63 » Reasoning about Assignments in Recursive Data Structures |
111
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
AAAI
2004
15 years 1 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
SIGSOFT
2009
ACM
16 years 14 days ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
178
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
138
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...