2316 search results - page 195 / 464 » The many forms of hypercomputation |
230
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Atomic Solvation Parameters (ASP) model has been proven to be a very successful method of calculating the binding free energy of protein complexes. This suggests that ...
171
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
299
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
163
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
182
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Advanced database systems face a great challenge raised by the emergence of massive, complex structural data in bioinformatics, chem-informatics, and many other applications. The ...