1205 search results - page 218 / 241 » Program Extraction from Large Proof Developments |
113
click to vote
IPPS
2008
IEEE
15 years 7 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...
HPCS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
102
click to vote
CHI
1994
ACM
15 years 5 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...
134
click to vote
CASCON
2010
14 years 11 months ago
2010
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
146
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...