6829 search results - page 39 / 1366 » Quantitative Generalizations of Languages |
108
click to vote
EUROSPI
2004
Springer
15 years 6 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
131
Voted
WILF
2007
Springer
15 years 6 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...
105
click to vote
JBI
2008
15 years 22 days ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
135
click to vote
FP
1991
15 years 4 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
152
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...