674 search results - page 68 / 135 » Resource Bound Certification |
160
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objectiv...
129
Voted
ICML
1995
IEEE
16 years 4 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
148
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
119
Voted
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
As the clock frequencies used in industrial applications increase, the timing requirements imposed on routing problems become tighter. So, it becomes important to route the nets w...
144
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...