403 search results - page 75 / 81 » Contracts for higher-order functions |
MSWIM
2005
ACM
14 years 4 months ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...
WPES
2004
ACM
14 years 4 months ago
2004
ACM
The number of location-aware mobile devices has been rising for several years. As this trend continues, these devices may be able to use their location information to provide inte...
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
WSNA
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents lightweight tree-based synchronization (LTS) methods for sensor networks. First, a single-hop, pair-wise synchronization scheme is analyzed. This scheme requir...