1713 search results - page 5 / 343 » Analysis of Procedure Splitability |
TAP
2010
Springer
13 years 6 months ago
2010
Springer
DOCENG
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
KES
2008
Springer
13 years 7 months ago
2008
Springer
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
BMCBI
2006
13 years 8 months ago
2006
Background: Recently, a large number of methods for the analysis of microarray data have been proposed but there are few comparisons of their relative performances. By using so-ca...