4809 search results - page 95 / 962 » Scalable Analysis of Scalable Systems |
156
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
161
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Flow cytometry (FC) is a powerful technology for rapid multivariate analysis and functional discrimination of cells. Current FC platforms generate large, high-dimensional datasets...
142
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
127
click to vote
RIDE
1998
IEEE
15 years 9 months ago
1998
IEEE
Techniques that emphasize software reuse and scalability are becoming more important than ever. In this paper we present a component-basedmodel for continuous-mediaapplications. C...
112
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...