[ACM Press the 2005 ACM SIGMETRICS international conference - Banff, Alberta, Canada (2005.06.06-2005.06.10)] Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems - SIGMETRICS '05 - Theory and practice of cross-traffic estimation
- 作者Machiraju, Sridhar; Veitch, Darryl; Baccelli, François; Nucci, Antonio; Bolot, Jean
- 文件大小69.48KB
- 发表时间2005
- DOI10.1145/1064212.1064274
Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · ACM SIGPLAN Notices · 2012
Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · ACM SIGPLAN Notices · 2001
[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Automatic predicate abstraction of C programsBall, Thomas; Majumdar, Rupak; Millstein, Todd; Rajamani, Sriram K. · 2001
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007