Sciweavers

2272 search results - page 250 / 455
» Validity Invariants and Effects
Sort
View
ICCAD
2003
IEEE
190views Hardware» more  ICCAD 2003»
15 years 9 months 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,...
114
Voted
CGO
2010
IEEE
15 years 7 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...
95
Voted
CHI
2010
ACM
15 years 7 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
109
Voted
GLOBECOM
2009
IEEE
15 years 7 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
91
Voted
INFOCOM
2009
IEEE
15 years 7 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