Abstract Infrastructures of Unit Rank Two (abstract only)
- 期刊名称ACM Communications in Computer Algebra
- 作者Fontein, Felix
- 卷第42卷
- 印刷ISSN1932-2240
- 文件大小327.78KB
- 发表时间2008-07-25
- DOI10.1145/1394042.1394068
[Lecture Notes in Computer Science] Inductive Logic Programming Volume 1297 || Induction of Slovene nominal paradigmsLavrač, Nada; Džeroski, Sašo · 1997
[IEEE 2018 IEEE International Solid - State Circuits Conference - (ISSCC) - San Francisco, CA, USA (2018.2.11-2018.2.15)] 2018 IEEE International Solid - State Circuits Conference - (ISSCC) - A secure camouflaged logic family using post-manufacturing programming with a 3.6GHz adder prototype in 65nm CMOS at 1V nominal V<inf>DD</inf>Akkaya, Nail Etkin Can; Erbagci, Burak; Mai, Ken · 2018
Mechanizing the metatheory of LFUrban, Christian; Cheney, James; Berghofer, Stefan · ACM Transactions on Computational Logic · 2011
[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Mechanizing the Metatheory of LFUrban, Christian; Cheney, James; Berghofer, Stefan · 2008
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007