5314 search results - page 437 / 1063 » Hybrid Dynamic Programming |
210
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
157
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
175
click to vote
GLOBECOM
2007
IEEE
16 years 1 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...
162
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
172
click to vote
SCAM
2003
IEEE
16 years 1 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...