Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander Romanovsky. Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Transactions on Computers, 63(6):1552-1566, 2014. [doi]