8132 search results - page 1542 / 1627 » Dependability, Abstraction, and Programming |
PDCAT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—In this paper, a tool named CheCUDA is designed to checkpoint CUDA applications that use GPUs as accelerators. As existing checkpoint/restart implementations do not supp...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
ICDCSW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The wireless mesh network is experiencing tremendous growth with the standardization of IEEE 802.11 and IEEE 802.16 technologies. Compared to its wired counterpart, the...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Wireless mesh network deployments are popular as a cost-effective means to provide broadband connectivity to large user populations. As the network usage grows, network...