Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
Simulation-based performance evaluation of routing protocols for mobile ad hoc networks
Mobile Networks and Applications
Capacity of Ad Hoc wireless networks
Proceedings of the 7th annual international conference on Mobile computing and networking
On the scalability of IEEE 802.11 ad hoc networks
Proceedings of the 3rd ACM international symposium on Mobile ad hoc networking & computing
Quality of service schemes for IEEE 802.11 wireless LANs: an evaluation
Mobile Networks and Applications
Performance analysis of the IEEE 802.11 distributed coordination function
IEEE Journal on Selected Areas in Communications
Split: a flexible and efficient algorithm to vector-descriptor product
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
SAN lite-solver: a user-friendly software tool to solve SAN models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
Electronic Notes in Theoretical Computer Science (ENTCS)
A CTL model checker for stochastic automata networks
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are needed. In this context, the contribution of this paper is twofold: at the one side we investigate the effect of forwarding in wireless ad hoc networks, drawing the throughput behavior under variation of connectivity, interference and number of sources; on the other side we propose Stochastic Automata Networks (SAN) as a formalism well suited to the area because of its modularity, allowing model reuse and the structured stepwise representation of important aspects of the reality, and due to its ability to deal with models of considerable sizes, allowing the analytical evaluation of more complex situations.