2278 search results - page 13 / 456 » Specification Techniques for Automatic Performance Analysis ... |
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
122
click to vote
ICDT
2009
ACM
14 years 7 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents a novel approach for a free structure analog circuit design using Genetic Algorithms (GA). A major problem in a free structure circuit is its sensitivity calcu...
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
93
Voted
ISCAPDCS
2001
14 years 11 months ago
2001
One purpose of the end-user tools described in this paper is to give users a graphical representation of performance information that has been gathered by instrumenting an applica...