9110 search results - page 1589 / 1822 » Formally-Based Design Evaluation |
164
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
People increasingly generate content on their mobile devices and upload it to third-party services such as Facebook and Google Latitude for sharing and backup purposes. Although t...
128
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
166
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...
149
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
The multi-level storage architecture has been widely adopted in servers and data centers. However, while prefetching has been shown as a crucial technique to exploit the sequentia...
149
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
While technology trends have ushered in the age of chip multiprocessors (CMP) and enabled designers to place an increasing number of cores on chip, a fundamental question is what ...