143 search results - page 4 / 29 » Automated size analysis for OCL |
90
Voted
SP
2008
IEEE
14 years 10 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
90
Voted
WSC
2004
14 years 11 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
90
Voted
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...
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...