3889 search results - page 282 / 778 » The Use of Program Dependence Graphs in Software Engineering |
118
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
131
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
148
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...
158
click to vote
DAMON
2007
Springer
15 years 11 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
137
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...