3820 search results - page 58 / 764 » Bounded Model Debugging |
NECO
2007
13 years 9 months ago
2007
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
SCAM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
WASA
2009
Springer
14 years 4 months ago
2009
Springer
This paper addresses the following optimization problem in a plane multihop wireless networks under the physical interference model: From a given a set of communication links whose...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
We present lower bounds on the space required to estimate the quantiles of a stream of numerical values. Quantile estimation is perhaps the most studied problem in the data stream ...