Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization.
Douglas L. LongLori A. ClarkePublished in: Symposium on Testing, Analysis, and Verification (1991)
Keyphrases
- experimental data
- data sets
- database
- prior knowledge
- probability distribution
- test data
- simulation data
- measured data
- flow analysis
- input data
- high level
- data analysis
- empirical data
- information systems
- data structure
- computational model
- data collection
- network structure
- statistical methods
- data quality
- computer systems
- probabilistic model
- training data
- neural network
- missing data
- data points
- learning models
- data sources
- knowledge base
- forensic analysis