5330 search results - page 231 / 1066 » The Performability Tool P'ility |
200
click to vote
APCHI
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...
169
click to vote
ET
2002
15 years 7 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
343
click to vote
FROCOS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
247
click to vote
CF
2006
ACM
15 years 9 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
162
click to vote
SC
2004
ACM
16 years 20 days ago
2004
ACM
Active Harmony is an automated runtime performance tuning system. In this paper we describe a parameter prioritizing tool to help focus on those parameters that are performance cr...