acm transactions on computer systems 中文意思是什麼
acm transactions on computer systems
解釋
美國計算機學會計算機系統匯刊- acm : 1. =automated checkout machine 自動收款機。2. ＝ Association for Computing Machinery （美國）計算機協會。
- transactions : 會報
- on : adv 1 〈接觸、覆蓋〉上去；開（opp off）。 turn on the light [radio water gas] 開電燈[收音機、自來...
- computer : n. 1. 計算者。2. （電子）計算機；計量器。-ism 電子計算機主義〈認為電子計算機萬能等〉。-erite, -nik 計算機專家；計算機工作者。
- systems : 國體
-
Paper : michael schroeder and michael burrows. " performance of firefly rpc, " acm transactions on computer systems 8, 1, february 1990, pp 1 - 17
11論文：螢火蟲遠端程序呼叫的效能（美國）電腦協會電腦系統會刊第8號， 1990年2月1日，第1 - 17頁。 -
6 clarke e m, emerson e a, sistla a p. automatic verification of finite - state concurrent systems using temporal logic specifications. acm transactions on programming languages and systems, 1986, 8 : 244 - 263. 7 aho a v, hopcroft j e, ullman j d. the design and analysis of computer algorithms
Model checking過去主要是作為一種驗證技術被廣為使用的，本文作者通過對dmc以及后續工程項目的研究發現， model checking完全可以作為一種計算技術被廣泛使用，就相當于已經成為經典編譯技術yacc在軟體開發的各個層面上被廣泛使用一樣。
分享友人