1511 search results - page 294 / 303 » Relational Parametricity for Computational Effects |
143
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
138
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
175
click to vote
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Performance loss due to long-latency memory accesses can be reduced by servicing multiple memory accesses concurrently. The notion of generating and servicing long-latency cache m...
158
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper develops a novel color-based broadcast scheme for wireless ad hoc networks where each forwarding of the broadcast message is assigned a color from a given pool of co...
140
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...