4809 search results - page 421 / 962 » Scalable Analysis of Scalable Systems |
206
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
243
click to vote
JMLR
2012
13 years 10 months ago
2012
In this paper, we propose to apply sparse canonical correlation analysis (sparse CCA) to an important genome-wide association study problem, eQTL mapping. Existing sparse CCA mode...
194
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
Unlike conventional layered scalable video coding, leaky prediction layered video coding (LPLC) introduces a leaky factor , which takes on values in the range between 0 and 1, to ...
199
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
227
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...