3820 search results - page 397 / 764 » Bounded Model Debugging |
130
click to vote
WSC
2004
15 years 5 months ago
2004
Monte Carlo simulation techniques that use function approximations have been successfully applied to approximately price multi-dimensional American options. However, for many pric...
119
click to vote
WSC
2004
15 years 5 months ago
2004
In this paper, we consider the fast simulation of traffic groomed optical networks, in which multiple sub-rate traffic streams may be carried on the same wavelength. For real-size...
144
click to vote
SODA
1998
ACM
15 years 5 months ago
1998
ACM
We present the first polylog-competitive online algorithm for the general multicast admission control and routing problem in the throughput model. The ratio of the number of reque...
138
click to vote
SIROCCO
2000
15 years 5 months ago
2000
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...
124
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...