54 search results - page 10 / 11 » Parameterized timing analysis with general delay models and ... |
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
CN
2006
13 years 5 months ago
2006
End-to-end available bandwidth estimation between Internet hosts is important to understand network congestion and enhance the performance of Quality-of-Service (QoS) demanding ap...
GLOBECOM
2006
IEEE
13 years 11 months ago
2006
IEEE
— This paper presents non-linear precoding design in closed-loop multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) over spatiallycorrelated,...
MOBICOM
2006
ACM
13 years 11 months ago
2006
ACM
Characterizing mobility or contact patterns in a campus environment is of interest for a variety of reasons. Existing studies of these patterns can be classified into two basic a...
PPDP
2010
Springer
13 years 3 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...