1559 search results - page 306 / 312 » The Semantics of Future and Its Use in Program Optimizations |
79
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
BMCBI
2010
14 years 9 months ago
2010
Background: Many newly detected point mutations are located in protein-coding regions of the human genome. Knowledge of their effects on the protein's 3D structure provides i...
73
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
XML delivers key advantages in interoperability due to its flexibility, expressiveness, and platform-neutrality. As XML has become a performance-critical aspect of the next genera...
103
Voted
ACMMSP
2006
ACM
15 years 3 months ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...