1755 search results - page 140 / 351 » An efficient simulation algorithm based on abstract interpre... |
102
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Abstract--A parasitic-aware RF synthesis tool based on a nondominated sorting genetic algorithm (NSGA) is introduced. The NSGA-based optimizer casts the design problem as a multi-o...
147
click to vote
TROB
2008
15 years 3 months ago
2008
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...
126
click to vote
MOC
2000
15 years 3 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...
134
click to vote
RTSS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
126
click to vote
TMC
2008
15 years 3 months ago
2008
We consider the problem of finding "backbones" in multihop wireless networks. The backbone provides end-toend connectivity, allowing non-backbone nodes to save energy sin...