334
Voted
ACSD
15 years 11 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 ...
331
Voted
DATE
15 years 11 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...
293
Voted
EVOTING
15 years 8 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 ...
271
Voted
DATE
15 years 11 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...
260
Voted
CAV
16 years 24 days 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