4719 search results - page 346 / 944 » Newtonian program analysis |
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
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...
147
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...
153
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...
195
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...