2132 search results - page 172 / 427 » Automated software winnowing |
197
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
136
Voted
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
118
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
149
Voted
COMPUTER
2004
15 years 3 months ago
2004
, abstracts each virtual machine's view of its storage and networks, and binds virtual machines across nodes into isolated virtual farms. The SoftUDC control system spans all ...
156
Voted
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...