4716 search results - page 325 / 944 » Iterative-free program analysis |
172
click to vote
PC
2007
15 years 6 months ago
2007
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
187
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
178
click to vote
JMLR
2012
13 years 9 months ago
2012
The Fukushima Daiichi disaster 11 March, 2011 is considered the largest nuclear accident since the 1986 Chernobyl disaster and has been rated at level 7 on the International Nucle...
149
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
154
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...