3820 search results - page 58 / 764 » Bounded Model Debugging |
NECO
2007
15 years 3 months ago
2007
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
132
click to vote
SCAM
2002
IEEE
15 years 9 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...
141
click to vote
WASA
2009
Springer
15 years 10 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...
130
click to vote
ICALP
2007
Springer
15 years 10 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 ...