3889 search results - page 293 / 778 » The Use of Program Dependence Graphs in Software Engineering |
260
click to vote
MICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
135
click to vote
ECSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
169
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
131
click to vote
ER
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...
176
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...