990 search results - page 76 / 198 » A Static Analysis Technique for Graph Transformation Systems |
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
CASES
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
VISUALIZATION
1999
IEEE
14 years 1 months ago
1999
IEEE
For types of data visualization where the cost of producing images is high, and the relationship between the rendering parameters and the image produced is less than obvious, a vi...
SCAM
2002
IEEE
14 years 2 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...