9110 search results - page 1589 / 1822 » Formally-Based Design Evaluation |
207
click to vote
SIGCOMM
2009
ACM
16 years 1 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...
167
click to vote
SOUPS
2009
ACM
16 years 1 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...
203
click to vote
HPDC
2008
IEEE
16 years 1 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...
192
click to vote
ICDCS
2008
IEEE
16 years 1 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...
188
click to vote
IEEEPACT
2008
IEEE
16 years 29 days 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 ...