[ACM Press the 12th Symposium - Amsterdam, Netherlands (2016.11.01-2016.11.01)] Proceedings of the 12th Symposium on Dynamic Languages - DLS 2016 - Type unsoundness in practice: an empirical study of Dart
- 作者Mezzetti, Gianluca; Møller, Anders; Strocco, Fabio
- 文件大小486.83KB
- 发表时间2016
- DOI10.1145/2989225.2989227
- 页码13-24
ProphesyTaylor, Valerie; Wu, Xingfu; Stevens, Rick · ACM SIGMETRICS Performance Evaluation Review · 2003
A survey on cloud interoperabilityZhang, Zhizhong; Wu, Chuan; Cheung, David W.L. · ACM SIGMETRICS Performance Evaluation Review · 2013
Response Time PreservationAgrawal, Subhash C.; Buzen, Jeffrey P.; Shum, Annie W. · ACM SIGMETRICS Performance Evaluation Review · 1984
G-networksGelenbe, Erol · ACM SIGMETRICS Performance Evaluation Review · 1995
Bayesian probabilistic risk analysisMosleh, Ali; Hilton, E. Richard; Browne, Peter S. · ACM SIGMETRICS Performance Evaluation Review · 1985
PRISMKwiatkowska, Marta; Norman, Gethin; Parker, David · ACM SIGMETRICS Performance Evaluation Review · 2009
Estimating loss rates with TCPAllman, Mark; Eddy, Wesley M.; Ostermann, Shawn · ACM SIGMETRICS Performance Evaluation Review · 2003
An algorithm for sizing software productsDeMarco, Tom · ACM SIGMETRICS Performance Evaluation Review · 1984