174 search results - page 35 / 35 » Automatic Parallelization with Separation Logic |
PDP
2007
IEEE
14 years 16 days ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...
WCNC
2008
IEEE
14 years 18 days ago
2008
IEEE
Hybrid automatic repeat-request (HARQ) is critical to an IEEE 802.16e OFDMA network, as it can significantly improve the reliability of wireless link. However, as revealed by our...
IJMMS
2008
13 years 6 months ago
2008
Maps are currently the most common application domain for ZUIs. Standard techniques for controlling such interfaces on pen-operated devices usually rely on sequential interaction,...
19
Voted
SC
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we present an early performance evaluation of a 624-core cluster based on the Intel® Xeon® Processor 5560 (code named “Nehalem-EP”, and referred to as Xeon 55...