2957 search results - page 296 / 592 » Code analysis and CS-XML |
138
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
140
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
167
Voted
JCPHY
2011
14 years 7 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
247
click to vote
SDM
2011
SIAM
14 years 6 months ago
2011
SIAM
Latent semantic analysis (LSA), as one of the most popular unsupervised dimension reduction tools, has a wide range of applications in text mining and information retrieval. The k...
155
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...