990 search results - page 88 / 198 » A Static Analysis Technique for Graph Transformation Systems |
EURODAC
1994
IEEE
14 years 2 days ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
IEEEVAST
2010
13 years 2 months ago
2010
DimStiller is a system for dimensionality reduction and analysis. It frames the task of understanding and transforming input dimensions as a series of analysis steps where users t...
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
ACSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...