[ACM Press the 30th annual international symposium - San Diego, California (2003.06.09-2003.06.11)] Proceedings of the 30th annual international symposium on Computer architecture - ISCA '03 - Efficient use of memory bandwidth to improve network processor throughput
- 作者Hasan, Jahangir; Chandra, Satish; Vijaykumar, T. N.
- 文件大小180.50KB
- 发表时间2003
- DOI10.1145/859651.859653
Radiation shielding and effective atomic number studies in different types of shielding concretes, lead base and non-lead base glass systems for total electron interaction: A comparative studyKurudirek, Murat · Nuclear Engineering and Design · 2014
[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicityFlanagan, Cormac; Qadeer, Shaz · 2003
Transactions for Software Model CheckingCormac Flanagan; Shaz Qadeer · 2003
Modular verification of multithreaded programsCormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia · 2005
Predicate abstraction for software verificationFlanagan, Cormac; Qadeer, Shaz · ACM SIGPLAN Notices · 2002
Types for atomicityFlanagan, Cormac; Freund, Stephen N.; Lifshin, Marina; Qadeer, Shaz · ACM Transactions on Programming Languages and Systems · 2008
Exploiting purity for atomicityFlanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz · ACM SIGSOFT Software Engineering Notes · 2004
[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Exploiting purity for atomicityFlanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz · 2004
[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A type and effect system for atomicityFlanagan, Cormac; Qadeer, Shaz · 2003
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013