1189 search results - page 173 / 238 » The Quotient of an Abstract Interpretation |
LCN
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— BART is a state-of-the-art active end-to-end bandwidth measurement method that estimates not only the available bandwidth but also the link capacity of the bottleneck l...
SEFM
2008
IEEE
14 years 3 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
ASWEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
BIBE
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—In this paper we demonstrate the inherent robustness of minimum distance estimator that makes it a potentially powerful tool for parameter estimation in gene expression ...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...