[ACM Press the 7th International Workshop - Madrid, Spain (2009.09.23-2009.09.25)] Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09 - Providing temporal isolation in the OSGi framework
- 作者Richardson, T.; Wellings, A. J.; Dianes, J. A.; Díaz, M.
- 文件大小554.12KB
- 发表时间2009
- DOI10.1145/1620405.1620407
NDeterminBurnim, Jacob; Elmas, Tayfun; Necula, George; Sen, Koushik · ACM SIGPLAN Notices · 2012
NDSeqBurnim, Jacob; Elmas, Tayfun; Necula, George; Sen, Koushik · ACM SIGPLAN Notices · 2011
Asserting and checking determinism for multithreaded programsBurnim, Jacob; Sen, Koushik · Communications of the ACM · 2010
Specifying and checking semantic atomicity for multithreaded programsBurnim, Jacob; Necula, George; Sen, Koushik · ACM SIGPLAN Notices · 2011
Specifying and checking semantic atomicity for multithreaded programsBurnim, Jacob; Necula, George; Sen, Koushik · ACM SIGPLAN Notices · 2012
Specifying and checking semantic atomicity for multithreaded programsBurnim, Jacob; Necula, George; Sen, Koushik · ACM SIGARCH Computer Architecture News · 2011
[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - DETERMINBurnim, Jacob; Sen, Koushik · 2010
[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - CONCURRITElmas, Tayfun; Burnim, Jacob; Necula, George; Sen, Koushik · 2013