[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Malan
- 作者Blouin, Arnaud; Beaudoux, Olivier; Loiseau, Stéphane
- 文件大小402.10KB
- 发表时间2008
- DOI10.1145/1410140.1410153
[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