2278 search results - page 24 / 456 » Specification Techniques for Automatic Performance Analysis ... |
CASCON
2006
14 years 11 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
KES
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Clickstream can be a rich source of data for analysing user behaviour, but the volume of these logs makes it difficult to identify and categorise behavioural patterns. In...
106
click to vote
SIGMOD
2011
ACM
14 years 13 days ago
2011
ACM
Debugging a database engine is an arduous task due to the complexity of the query workloads and systems. The first step in isolating a bug involves identifying a sequence of step...
ASE
2005
14 years 9 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...