[RILEM State-of-the-Art Reports] RILEM Recommendations for the Prevention of Damage by Alkali-Aggregate Reactions in New Concrete Structures Volume 17 ||
- 作者Nixon, Philip J.; Sims, Ian
- 文件大小3018.48KB
- 发表时间2016
- DOI10.1007/978-94-017-7252-5
[Lecture Notes in Computer Science] Cryptographic Hardware and Embedded Systems - CHES 2002 Volume 2523 || The EM Side—Channel(s)Kaliski, Burton S.; Koç, çetin K.; Paar, Christof · 2003
[Lecture Notes in Computer Science] Cryptographic Hardware and Embedded Systems – CHES 2005 Volume 3659 || A Very Compact S-Box for AESRao, Josyula R.; Sunar, Berk · 2005
[Lecture Notes in Computer Science] Field-Programmable Logic and Applications Volume 2147 || Dijkstra’s Shortest Path Routing Algorithm in Reconfigurable HardwareBrebner, Gordon; Woods, Roger · 2001
[Lecture Notes in Computer Science] Cryptographic Hardware and Embedded Systems – CHES 2011 Volume 6917 || Protecting AES with Shamir’s Secret Sharing SchemePreneel, Bart; Takagi, Tsuyoshi · 2011
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Fast Hardware of Booth-Barrett’s Modular Multiplication for Efficient CryptosystemsYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Computer and Information Sciences - ISCIS 2003 Volume 2869 || Fast Less Recursive Hardware for Large Number Multiplication Using Karatsuba-Ofman’s AlgorithmYazıcı, Adnan; Şener, Cevat · 2003
[Lecture Notes in Computer Science] Cryptographic Hardware and Embedded Systems - CHES 2002 Volume 2523 || An Optimized S-Box Circuit Architecture for Low Power AES DesignKaliski, Burton S.; Koç, çetin K.; Paar, Christof · 2003
From bidirectionality to alternationNir Piterman; Moshe Y. Vardi · 2003
Liveness with invisible rankingYi Fang; Nir Piterman; Amir Pnueli; Lenore Zuck · 2006
LTL generalized model checking revisitedPatrice Godefroid; Nir Piterman · 2011
From liveness to promptnessOrna Kupferman; Nir Piterman; Moshe Y. Vardi · 2009
Strategy logicKrishnendu Chatterjee; Thomas A. Henzinger; Nir Piterman · 2010
Synthesis of Reactive(1) designsRoderick Bloem; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Yaniv Saʼar · 2012
Toward Synthesizing Executable Models in BiologyFisher, Jasmin; Piterman, Nir; Bodik, Rastislav · Frontiers in Bioengineering and Biotechnology · 2014
Specify, Compile, Run: Hardware from PSLRoderick Bloem; Stefan Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer · 2007