2947 search results - page 524 / 590 » Analyzing Program Analyses |
CMPB
2007
14 years 11 months ago
2007
: Cure models have been developed to analyze failure time data with a cured fraction. For such data, standard survival models are usually not appropriate because they do not accoun...
108
click to vote
IJCSA
2006
14 years 11 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
IJHPCN
2006
14 years 11 months ago
2006
Abstract-- The performance of collective communication operations is known to have a significant impact on the scalability of some applications. Indeed, the global, synchronous nat...
JSW
2008
14 years 11 months ago
2008
Intermediate COCOMO Model computes effort as a function of program size and a set of cost drivers. Effort adjustment factor (EAF) is calculated using 15 cost drivers. EAF is an imp...
JFP
2006
14 years 11 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...