2902 search results - page 255 / 581 » Software Product Lines |
156
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
202
click to vote
SIGSOFT
2005
ACM
16 years 8 days ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
210
click to vote
NIPS
2007
15 years 8 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
217
click to vote
PPOPP
2006
ACM
16 years 20 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
187
click to vote
JIB
2008
15 years 6 months ago
2008
Structure, is a widely used software tool to investigate population genetic structure with multi-locus genotyping data. The software uses an iterative algorithm to group individua...