1690 search results - page 253 / 338 » Applications of Metric Coinduction |
ISCC
2006
IEEE
14 years 3 months ago
2006
IEEE
— In order to support mobile users, the basic Internet protocols have been extended with protocols (e.g., Mobile IPv6) for intercepting and forwarding packets to a mobile and pos...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised th...
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
CF
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we investigate the power implications of tile size selection for tile-based processors. We refer to this investigation as a tile granularity study. This is accompli...
COLCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
CDMA technology represents an attractive choice for various wireless ad hoc networks applications, due to its appealing properties, such as resistance to jamming and interference,...