1481 search results - page 273 / 297 » Enriching the Software Development Process by Formal Methods |
105
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
132
click to vote
SIAMSC
2011
14 years 6 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
MM
2009
ACM
15 years 6 months ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...
112
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...