4469 search results - page 671 / 894 » Dynamic Program Slicing |
126
click to vote
STVR
2010
15 years 21 days ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
137
click to vote
IPPS
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
137
click to vote
SP
2010
IEEE
15 years 6 days ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
131
click to vote
LOGCOM
2010
14 years 9 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
105
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
New storage-class memory (SCM) technologies, such as phasechange memory, STT-RAM, and memristors, promise user-level access to non-volatile storage through regular memory instruct...