Benchmark frameworks and τ Bench
- 期刊名称Software: Practice and Experience
- 作者Thomas, Stephen W.; Snodgrass, Richard T.; Zhang, Rui
- 卷第44卷
- 期第9期
- 印刷ISSN0038-0644
- 文件大小547.58KB
- 发表时间2014-09
- DOI10.1002/spe.2189
- 页码1047-1075
Pattern languages: addressing the challengesFayad, Mohamed E.; Singh, Shivanshu K. · Software: Practice and Experience · 2013
Antivirus security: naked during updatesMin, Byungho; Varadharajan, Vijay; Tupakula, Udaya; Hitchens, Michael · Software: Practice and Experience · 2014
Practical JFSL verification using TACOChicote, M.; Ciolek, D.; Galeotti, J.P. · Software: Practice and Experience · 2014
EditorialIorio, Angelo Di; Rossi, Davide; Zacchiroli, Stefano · Software: Practice and Experience · 2013
Speculative optimizations for interpreting environmentsAdler, Philipp; Amme, Wolfram · Software: Practice and Experience · 2014
Programs as visual, interactive documentsFrench, G.W.; Kennaway, J.R.; Day, A.M. · Software: Practice and Experience · 2014
Polymorphic bytecode instrumentationBinder, Walter; Moret, Philippe; Tanter, Éric; Ansaloni, Danilo · Software: Practice and Experience · 2015