2278 search results - page 15 / 456 » Specification Techniques for Automatic Performance Analysis ... |
EPEW
2008
Springer
14 years 11 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
The analysis of video data targeting the identification of relevant objects and the extraction of associated descriptive characteristics will be the enabling factor for a number o...
TVLSI
2008
14 years 9 months ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...