7195 search results - page 225 / 1439 » On Computing Power |
149
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...
155
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Mobile devices are increasingly equipped with multiple network interfaces: Wireless Local Area Network (WLAN) interfaces for local connectivity and Wireless Wide Area Network (WWA...
149
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
141
click to vote
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...
128
click to vote
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...