7225 search results - page 355 / 1445 » Software is data too |
167
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
200
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Automated genotype calling in tetraploid species was until recently not possible, which hampered genetic analysis. Modern genotyping assays often produce two signals, ...
170
click to vote
RR
2007
Springer
16 years 28 days ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
121
click to vote
CCE
2008
15 years 7 months ago
2008
Accuracy of an instrument has been traditionally defined as the sum of the precision and the bias. Recently, this notion was generalized to estimators [Bagajewicz, M. (2005a). On ...
152
click to vote
FMSD
2006
15 years 6 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...