Results 181 to 190 of about 312,061 (225)
Some of the next articles are maybe not open access.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
Cryptographic primitives need high-speed implementations that are also resistant to side channel attacks. The absolute control over instructions and registers that such implementations demand makes assembly language programming a necessity. In this article, we describe Verse, a typed low-level language embedded in Coq designed specifically to generate ...
Abhishek Dang, Piyush P Kurur
openaire +1 more source
Cryptographic primitives need high-speed implementations that are also resistant to side channel attacks. The absolute control over instructions and registers that such implementations demand makes assembly language programming a necessity. In this article, we describe Verse, a typed low-level language embedded in Coq designed specifically to generate ...
Abhishek Dang, Piyush P Kurur
openaire +1 more source
2022
Abstract Samuel Johnson wrote verse from his adolescence in the 1720s to weeks before he died in December 1784, his poetic reputation secured early by his imitations of Juvenal: London (1738) and The Vanity of Human Wishes (1749). Johnson was a versatile poet, at home in many genres.
openaire +1 more source
Abstract Samuel Johnson wrote verse from his adolescence in the 1720s to weeks before he died in December 1784, his poetic reputation secured early by his imitations of Juvenal: London (1738) and The Vanity of Human Wishes (1749). Johnson was a versatile poet, at home in many genres.
openaire +1 more source
Al-Bantānī and the Interpretation of Ṣifāt verses in Marāḥ Labīd
HTS Teologiese Studies / Theological Studies, 2023Usman Abur Hamdi
exaly +2 more sources
An Ensemble Multi-label Themes-Based Classification for Holy Qur’an Verses Using Word2Vec Embedding
Arabian Journal for Science and Engineering, 2021Ensaf H Mohamed, Wessam H. El-Behaidy
exaly