439 search results - page 63 / 88 » Program Generators and the Tools to Make Them |
124
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions i...
148
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
230
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
139
click to vote
COMPLIFE
2005
Springer
15 years 9 months ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
122
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The generation of large amounts of microarray data presents challenges for data collection, annotation, exchange and analysis. Although there are now widely accepted f...