3082 search results - page 70 / 617 » Deviation Analysis: A New Use of Model Checking |
197
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
159
click to vote
TELETRAFFIC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present a method for determining optimal routes along selected paths in a wireless mesh network based on an interference aware delay analysis. We develop an analyt...
198
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
One important problem in computer vision is to provide a demographic description a person from an image. In practice, many of the state-of-the-art methods use only an analysis of ...
159
click to vote
INFORMATICALT
2002
15 years 5 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
148
click to vote
FMOODS
2007
15 years 7 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...