It is known that universal methods of revealing derivability are not sufficiently efficient when used in solving problems with limited resources. Consequently, they need some additional aids. Furthermore, even in the ...
详细信息
It is known that universal methods of revealing derivability are not sufficiently efficient when used in solving problems with limited resources. Consequently, they need some additional aids. Furthermore, even in the absence of restrictions on resources, there arises the problem for undecidable theories concerned with decision making when the formula to be proved is unprovable, but there are neither any immediate signs of it nor some signs can be revealed in the proving. In this case, introduction of resource restrictions appears useful by itself for constructing solving rules, in particular, those interrupting the infinite process of searching for inference.
In this paper, we address cloud VoIP scheduling strategies to provide appropriate levels of quality of service to users, and cost to VoIP service providers. This bi-objective focus is reasonable and representative for...
详细信息
In this paper, we address cloud VoIP scheduling strategies to provide appropriate levels of quality of service to users, and cost to VoIP service providers. This bi-objective focus is reasonable and representative for real installations and applications. We conduct comprehensive simulation on real data of twenty three on-line non-clairvoyant scheduling strategies with fixed threshold of utilization to request VMs, and twenty strategies with dynamic prediction of the load. We show that our load-aware with predictions strategies outperform the known ones providing suitable quality of service and lower cost. The robustness of these strategies is also analyzed varying VM startup time delays to deal with realistic VoIP cloud environments.
Account of interactions in frameworks of Standard Model leads to appearence of γ5 terms in a dressed fermion propagator. In this case the standard spin projectors do not commute with propagator and should be modified...
Account of interactions in frameworks of Standard Model leads to appearence of γ5 terms in a dressed fermion propagator. In this case the standard spin projectors do not commute with propagator and should be modified. Starting point of our discussion is the eigenvalue problem for inverse propagator S(p). Having the solutions of this problem, one can understand the necessary modification of spin projectors. The same generalized spin projector appears at propagation of neutrino in a moving matter, but in contrast to vacuum case, corresponding polarization vector is not arbitrary. This spin projector commute with neutrino propagator and all dispersion laws for neutrino in media are classified according to spin projection onto this fixed axis.
暂无评论