Using compliance notation to verify Ada tasking
- 期刊名称ACM SIGAda Ada Letters
- 作者Tombs, D. J.
- 期第5期
- 印刷ISSN1094-3641
- 文件大小429.19KB
- 发表时间1997-10-01
- DOI10.1145/271662.271710
- 页码83-87
StreamRayRamani, Karthik; Gribble, Christiaan P.; Davis, Al · ACM SIGPLAN Notices · 2009
[ACM Press Proceeding of the 14th international conference - Washington, DC, USA (2009.03.07-2009.03.11)] Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09 - StreamRayRamani, Karthik; Gribble, Christiaan P.; Davis, Al · 2009
StreamRayRamani, Karthik; Gribble, Christiaan P.; Davis, Al · ACM SIGPLAN Notices · 2009
[ACM Press Proceeding of the 14th international conference - Washington, DC, USA (2009.03.07-2009.03.11)] Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09 - StreamRayRamani, Karthik; Gribble, Christiaan P.; Davis, Al · 2009
WatchdogNagarakatte, Santosh; Martin, Milo M. K.; Zdancewic, Steve · ACM SIGARCH Computer Architecture News · 2012
DRPMGurumurthi, Sudhanva; Sivasubramaniam, Anand; Kandemir, Mahmut; Franke, Hubertus · ACM SIGARCH Computer Architecture News · 2003
Memory access buffering in multiprocessorsDubois, M.; Scheurich, C.; Briggs, F. · ACM SIGARCH Computer Architecture News · 1986
SPEC CPU2006 benchmark descriptionsHenning, John L. · ACM SIGARCH Computer Architecture News · 2006
Physically addressed queueing (PAQ)Jung, Myoungsoo; Wilson, Ellis H.; Kandemir, Mahmut · ACM SIGARCH Computer Architecture News · 2012
ChiselHasan, Jahangir; Cadambi, Srihari; Jakkula, Venkatta; Chakradhar, Srimat · ACM SIGARCH Computer Architecture News · 2006
Storage research in industry and universitiesThomasian, Alexander · ACM SIGARCH Computer Architecture News · 2010
Reducing the cost of branchesMcFarling, S.; Hennesey, J. · ACM SIGARCH Computer Architecture News · 1986