Results 291 to 300 of about 1,468,409 (336)
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
Optimized task scheduling in cloud computing using improved multi-verse optimizer
Cluster Computing, 2022M. Otair +5 more
semanticscholar +1 more source
VerSe: A Vertebrae labelling and segmentation benchmark for multi-detector CT images
Medical Image Analysis, 2021Anjany Sekuboyina +2 more
exaly
Enhanced multi-verse optimizer for task scheduling in cloud computing environments
Expert systems with applications, 2020Sarah Shukri +3 more
semanticscholar +1 more source
Opposition-based learning multi-verse optimizer with disruption operator for optimization problems
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2021Mohammad Shehab, L. Abualigah
semanticscholar +1 more source
Enhanced multi-verse optimizer for task scheduling in cloud computing environments
Expert Systems With Applications, 2021Amjad Hudaib, Seyedali Mirjalili
exaly