Login / Signup
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
Sastry Duri
Ugo A. Buy
R. Devarapalli
Sol M. Shatz
Published in:
ACM Trans. Softw. Eng. Methodol. (1994)
Keyphrases
</>
experimental evaluation
space reduction
preprocessing
significant improvement
data sets
image analysis
qualitative and quantitative
information retrieval
artificial neural networks
statistical analysis
data analysis
state space
multi class
cross validation