162
click to vote
DATE
15 years 3 months ago
2004 IEEE
In this work we improve top-down min-cut placers in the context of timing closure. Using the concept of boosting factors, we adjust net weights according to net spans, so as to re...
143
click to vote
SIGMETRICS
15 years 5 months ago
2004 ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
142
click to vote
DATE
15 years 3 months ago
2004 IEEE
Emerging embedded system applications in multimedia and image processing are characterized by complex control flow consisting of deeply nested conditionals and loops. We present a...
139
click to vote
MDAFA
15 years 5 months ago
2004 Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
132
click to vote
CAV
15 years 5 months ago
2004 Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
|