214 search results - page 25 / 43 » Optimization of Logic Programs with Dynamic Scheduling |
150
Voted
ECRTS
2010
IEEE
15 years 3 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
131
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
109
Voted
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present a novel integer programming (IP) optimization formulation for downlink OFDM subchannel allocations in a multicell system and propose viable sub-optimal so...
126
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
114
click to vote
ICCD
2001
IEEE
15 years 10 months ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...