Masters degrees in computing
- 期刊名称ACM SIGCSE Bulletin
- 作者Cassel, Lillian N.; Davies, Gordon; Seidman, Stephen
- 卷第41卷
- 期第3期
- 印刷ISSN0097-8418
- 文件大小355.76KB
- 发表时间2009-08-25
- DOI10.1145/1595496.1563008
Dynamic synthesis for relaxed memory modelsLiu, Feng; Nedev, Nayden; Prisadnikov, Nedyalko; Vechev, Martin; Yahav, Eran · ACM SIGPLAN Notices · 2012
Verification of STM on relaxed memory modelsRachid Guerraoui; Thomas A. Henzinger; Vasu Singh · 2011
Partial-coherence abstractions for relaxed memory modelsKuperstein, Michael; Vechev, Martin; Yahav, Eran · ACM SIGPLAN Notices · 2011
Partial-coherence abstractions for relaxed memory modelsKuperstein, Michael; Vechev, Martin; Yahav, Eran · ACM SIGPLAN Notices · 2012
Effective abstractions for verification under relaxed memory modelsDan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran · Computer Languages, Systems & Structures · 2016
Formal automatic verification of cache coherence in multiprocessors with relaxed memory modelsFong Pong; Dubois, M. · 2000
Partially relaxed energy potentials for the modelling of microstructures – application to shape memory alloysThorsten Bartel; Andreas Menzel · 2012
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