10493 search results - page 1766 / 2099 » Dynamic Word Problems |
204
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
192
click to vote
CCGRID
2009
IEEE
16 years 2 months ago
2009
IEEE
— We propose a novel approach for sharing cluster resources among competing jobs. The key advantage of our approach over current solutions is that it increases cluster utilizatio...
195
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—The success of a Public Key Infrastructure such as the Web of Trust (WoT) heavily depends on its ability to ensure that public keys are used by their legitimate owners, thereby ...
220
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
— In this paper, we propose a novel, energy aware scheduling algorithm for applications running on DVS-enabled multiprocessor systems, which exploits variation in execution times...
189
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Supply voltage fluctuations that result from inductive noise are increasingly troublesome in modern microprocessors. A voltage “emergency”, i.e., a swing beyond tol...