4814 search results - page 729 / 963 » Combining abstract interpreters |
PDP
2006
IEEE
14 years 4 months ago
2006
IEEE
Highly interactive collaborative applications need to offer each user a consistent view of the interactions represented by the streams exchanged between dispersed groups of users....
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
TRIDENTCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this work we characterize the energy consumption of a visual sensor network testbed. Each node in the testbed consists of a ”single-board computer”, namely Cross...
WISE
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. Visualization is able to present the rich Web information intuitively and make the Web search/mining more productive. Mobile computing is able to provide the flexibility...
AAECC
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...