13603 search results - page 2601 / 2721 » On the Computational Complexity of Cut-Reduction |
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Adaptive transmit power control in 802.11 Wireless LANs (WLANs) on a per-link basis helps increase network capacity and improves battery life of Wifi-enabled mobile devices. Howev...
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...
MOBISYS
2006
ACM
15 years 9 months ago
2006
ACM
Location determination of mobile users within a building has attracted much attention lately due to its many applications in mobile networking including network intrusion detectio...