10038 search results - page 1948 / 2008 » Model Checking for Managers |
165
click to vote
HPDC
2008
IEEE
15 years 10 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...
145
click to vote
ICRA
2008
IEEE
15 years 10 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...
133
click to vote
IEEEPACT
2008
IEEE
15 years 10 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...
135
click to vote
IPPS
2008
IEEE
15 years 10 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...
126
click to vote
NOMS
2008
IEEE
15 years 10 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 ...