8917 search results - page 1257 / 1784 » Abstraction in Algorithm Animation |
189
click to vote
ICN
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. For a typical portable handheld device, the backlight accounts for a significant percentage of the total energy consumption (e.g., around 30% for a Compaq iPAQ 3650). Su...
172
Voted
ICN
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This paper presents a stable accurate rapid bandwidth estimate (SARBE) algorithm to improve TCP performance over wireless networks. The proposed algorithm estimates the b...
200
click to vote
IPMI
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Magnetic resonance (MR) images can be acquired by multiple receiver coil systems to improve signal-to-noise ratio (SNR) and to decrease acquisition time. The optimal SNR ...
172
click to vote
ISPEC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Secure routing in ad hoc networks has been extensively studied in recent years. The vast majority of this work, however, has only focused on providing authenticity of the...
206
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...