3706 search results - page 372 / 742 » The Transformational Approach to Program Development |
141
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Many programs have been developed to identify transcription factor binding sites. However, most of them are not able to infer two-word motifs with variable spacer leng...
130
click to vote
HVC
2005
Springer
15 years 9 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
106
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Timing budgeting under process variations is an important step in a statistical optimization flow. We propose a novel formulation of the problem where budgets are statistical ins...
138
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
The DARPA PerceptOR program implements a rigorous evaluative test program which fosters the development of field relevant outdoor mobile robots. Autonomous ground vehicles are depl...
152
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...