11376 search results - page 2238 / 2276 » Willow System Demonstration |
ICFP
2010
ACM
14 years 1 days ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
HASKELL
2008
ACM
14 years 1 days ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
ESEM
2010
ACM
13 years 11 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
MOBICOM
2010
ACM
13 years 11 months ago
2010
ACM
We report a first-of-its-kind realization of directional transmission for smartphone-like mobile devices using multiple passive directional antennas, supported by only one RF chai...
MOBICOM
2010
ACM
13 years 11 months ago
2010
ACM
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...