1205 search results - page 230 / 241 » Program Extraction from Large Proof Developments |
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
92
Voted
ICPP
2003
IEEE
15 years 2 months ago
2003
IEEE
Process/thread migration and checkpointing schemes support load balancing, load sharing and fault tolerance to improve application performance and system resource usage on worksta...
BMCBI
2010
14 years 9 months ago
2010
Background: The SEED integrates many publicly available genome sequences into a single resource. The database contains accurate and up-to-date annotations based on the subsystems ...
BMCBI
2008
14 years 9 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
111
click to vote
BMCBI
2006
14 years 9 months ago
2006
Background: DNA microarrays are a powerful tool for monitoring the expression of tens of thousands of genes simultaneously. With the advance of microarray technology, the challeng...