3820 search results - page 520 / 764 » Bounded Model Debugging |
115
click to vote
PE
2002
Springer
15 years 2 months ago
2002
Springer
We consider a FIFO multiplexer fed by flows that are individually constrained by arrival curves, and look for the best possible arrival curve for every output flow. This problem a...
111
click to vote
TPDS
1998
15 years 2 months ago
1998
The Optical Transpose Interconnection System (OTIS) is a recently proposed model of computing that exploits the special features of both electronic and optical technologies. In th...
136
click to vote
TIT
2002
15 years 2 months ago
2002
We consider a two-dimensional problem of positron emission tomography where the random mechanism of the generation of the tomographic data is modeled by Poisson processes. The goa...
132
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
135
click to vote
MP
2007
15 years 2 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...