10038 search results - page 1948 / 2008 » Model Checking for Managers |
HPDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
—The main contribution of this paper arises from the development of a new framework, which has its inspiration in the mechanics of human navigation, for solving the problem of Si...
IEEEPACT
2008
IEEE
14 years 4 months ago
2008
IEEE
Recently, chip multiprocessors (CMPs) have arisen as the de facto design for modern high-performance processors, with increasing core counts. An important property of CMPs is that...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
—Agent-based virtual private networks architecture (ABVA) refers to the environment where a third-party provider runs and administers remote access VPN service for organizations ...