Sciweavers

2272 search results - page 250 / 455
» Validity Invariants and Effects
Sort
View
ICCAD
2003
IEEE
190views Hardware» more  ICCAD 2003»
16 years 29 days ago
IDAP: A Tool for High Level Power Estimation of Custom Array Structures
—While array structures are a significant source of power dissipation, there is a lack of accurate high-level power estimators that account for varying array circuit implementat...
Mahesh Mamidipaka, Kamal S. Khouri, Nikil D. Dutt,...
CGO
2010
IEEE
15 years 11 months ago
Towards program optimization through automated analysis of numerical precision
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
Michael D. Linderman, Matthew Ho, David L. Dill, T...
CHI
2010
ACM
15 years 11 months ago
Crowdsourcing graphical perception: using mechanical turk to assess visualization design
Understanding perception is critical to effective visualization design. With its low cost and scalability, crowdsourcing presents an attractive option for evaluating the large des...
Jeffrey Heer, Michael Bostock
GLOBECOM
2009
IEEE
15 years 10 months ago
Impact of Social Networks on Delay Tolerant Routing
Abstract—Delay Tolerant Networks (DTNs) are wireless networks in which at any given time instance, the probability of having a complete path from a source to destination is low d...
Eyuphan Bulut, Zijian Wang, Boleslaw K. Szymanski
INFOCOM
2009
IEEE
15 years 10 months ago
OneClick: A Framework for Measuring Network Quality of Experience
—As the service requirements of network applications shift from high throughput to high media quality, interactivity, and responsiveness, the definition of QoE (Quality of Exper...
Kuan-Ta Chen, Cheng-Chun Tu, Wei-Cheng Xiao