6960 search results - page 583 / 1392 » Continuity Analysis of Programs |
251
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
206
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
190
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
248
click to vote
ESOP
2001
Springer
15 years 12 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
193
click to vote
ISSAC
1995
Springer
15 years 11 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...