113 search results - page 8 / 23 » Computationally efficient flux variability analysis |
123
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
104
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This conceptual paper suggests how Politeness Theory [6] – well known in anthropological and linguistic literatures – can contribute to the study of role relations in computer...
105
click to vote
ITSSA
2006
14 years 11 months ago
2006
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
100
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of mem...