297
click to vote
ACSD
15 years 9 months ago
2004 IEEE 
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
288
click to vote
DATE
15 years 9 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...
250
click to vote
EVOTING
15 years 7 months ago
2004 
Abstract: Christian Rupp has been appointed Federal Executive Secretary of EGovernment in May of 2003. At that point of time a new E-Government Platform was introduced. He reports ...
224
click to vote
DATE
15 years 9 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...
216
click to vote
CAV
15 years 11 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...
|
Hardware