3736 search results - page 642 / 748 » Hand-Writing Program Generator Generators |
138
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
138
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...
171
click to vote
ASE
2005
15 years 4 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
160
click to vote
WLP
1997
Springer
15 years 9 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
145
click to vote
ASPLOS
2009
ACM
15 years 8 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...