1411 search results - page 149 / 283 » A Value Analysis for C Programs |
159
click to vote
FGCS
2007
15 years 4 months ago
2007
In this paper medical applications on a Grid infrastructure, the MAGIC-5 Project, are presented and discussed. MAGIC-5 aims at developing Computer Aided Detection (CADe) software ...
112
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
161
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...
129
click to vote
EMSOFT
2007
Springer
15 years 10 months 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...
151
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...