64 search results - page 11 / 13 » Integrating Static and Dynamic Analysis to improve the Compr... |
BMCBI
2007
13 years 7 months ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
WECWIS
2002
IEEE
14 years 11 days ago
2002
IEEE
Various dynamic content caching approaches have been proposed to address the performance and scalability problems faced by many Web sites that utilize dynamic content generation a...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...