7225 search results - page 227 / 1445 » Software is data too |
123
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
201
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
136
click to vote
MSR
2009
ACM
16 years 10 days ago
2009
ACM
The lifecycle of defects reports and enhancement requests collected in the Bugzilla database of the GNOME project provides valuable information on the evolution of the change requ...
139
click to vote
HIPEAC
2007
Springer
15 years 12 months ago
2007
Springer
Voltage scaling reduces leakage power for cache lines unlikely to be referenced soon. Partitioning reduces dynamic power via smaller, specialized structures. We combine approaches,...
128
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...