3972 search results - page 688 / 795 » Palpability Support Demonstrated |
193
click to vote
PDCAT
2009
Springer
16 years 27 days 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...
182
click to vote
RAID
2009
Springer
16 years 27 days ago
2009
Springer
Due to the rapid advancement of mobile communication technology, mobile devices nowadays can support a variety of data services that are not traditionally available. With the growi...
167
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
181
click to vote
ASSETS
2009
ACM
16 years 27 days ago
2009
ACM
People with aphasia, a condition that impairs the ability to understand or generate written or spoken language, are aided by assistive technology that helps them communicate throu...
170
click to vote
CASES
2009
ACM
16 years 27 days ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...