16844 search results - page 250 / 3369 » How to Design Programs |
187
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...
141
click to vote
FASE
1998
Springer
15 years 11 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
182
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
This paper describes new proposed algorithms for constructing the transfer function of nth order Butterworth LPF using the idea of the cascade combination of active filters. Compu...
136
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
169
click to vote
PPOPP
2006
ACM
16 years 17 days ago
2006
ACM
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...