3256 search results - page 586 / 652 » Applications of Formal Methods to System Design and Verifica... |
CASES
2006
ACM
15 years 1 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
GRAPHICSINTERFACE
2007
14 years 11 months ago
2007
In this work, we propose and compare several methods for the visualization and exploration of time-varying volumetric medical images based on the temporal characteristics of the d...
124
click to vote
MMS
2010
14 years 4 months ago
2010
In large-scale peer-to-peer (P2P) Video-on-Demand (VoD) streaming applications, a fundamental challenge is to quickly locate new supplying peers whenever a VCR command is issued, ...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
It is difficult for users of mobile devices such as cellular phones equipped with a small screen and a poor input interface to browse Web pages designed for desktop PCs with large...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Newport is a collaborative application for sharing context (e.g. location) and content (e.g. photos and notes) during mobile phone calls. People can share during a phone call and ...