9842 search results - page 346 / 1969 » Compositional timing analysis |
119
click to vote
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper analyses HPSS performance and, to a lesser extent, characterizes the SDSC HPSS workload, utilizing per-file transfer logs. The performance examined includes disk cache ...
130
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
130
click to vote
AAAI
1994
15 years 6 months ago
1994
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
137
click to vote
SODA
1994
ACM
15 years 6 months ago
1994
ACM
We maintain the maximum spanning tree of a planar point set, as points are inserted or deleted, in O(log3 n) time per update in Mulmuley's expected-case model of dynamic geom...
144
Voted
AI
2008
Springer
15 years 5 months ago
2008
Springer
Singleton arc consistency (SAC) is a consistency property that is simple to specify and is stronger than arc consistency. Algorithms have already been proposed to enforce SAC, but...