8600 search results - page 1159 / 1720 » Measuring with Timed Patterns |
229
click to vote
PAPM
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
176
click to vote
SAS
2001
Springer
15 years 12 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
205
click to vote
STACS
2001
Springer
15 years 12 months ago
2001
Springer
The stretch factor of a Euclidean graph is the maximum ratio of the distance in the graph between any two points and their Euclidean distance. Given a set S of n points in Rd, we ...
221
Voted
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
Novel methodology and algorithms to seamlessly integrate logic synthesis and physical placement through a transformational approach are presented. Contrary to most placement algor...
179
click to vote
INFOCOM
2000
IEEE
15 years 12 months ago
2000
IEEE
User-perceived latency is recognized as the central performance problem in the Web. We systematically measure factors contributing to this latency, across several locations. Our s...