3820 search results - page 420 / 764 » Bounded Model Debugging |
170
click to vote
MOR
2007
15 years 3 months ago
2007
Real-world networks often need to be designed under uncertainty, with only partial information and predictions of demand available at the outset of the design process. The field ...
154
click to vote
JMLR
2010
14 years 10 months ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...
145
click to vote
TIP
2010
14 years 10 months ago
2010
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
213
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
146
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we extend the study of flow-energy scheduling to a model that allows both sleep management and speed scaling. Our main result is a sleep management algorithm called I...