5330 search results - page 46 / 1066 » The Performability Tool P'ility |
102
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
103
click to vote
SSDBM
2000
IEEE
15 years 6 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
107
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
134
click to vote
IFIP
2000
Springer
15 years 5 months ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
100
click to vote
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...