Results 211 to 220 of about 35,334 (267)
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
Old English poetry, verse by verse
Anglo-Saxon England, 2015AbstractCertain syntactical ambiguities in Old English poetry have been the focus of debate among students of metre and syntax. Proponents of intentional ambiguity must demonstrate that the passages in question exhibit, not an absence of syntactical clarity, but a presence of syntactical ambiguity. This article attempts such a demonstration. It does so
openaire +1 more source
Italian Verse and Verse on Italy
Modern Language Notes, 1911A. A. Livingston +5 more
openaire +1 more source
Enhanced multi-verse optimizer for task scheduling in cloud computing environments
Expert Systems With Applications, 2021Rizik Al-Sayyed +2 more
exaly