Results 31 to 40 of about 2,510 (186)
Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language [PDF]
, 2021 WebAssembly is the first new programming language to be supported natively by all major Web browsers since JavaScript. It is designed to be a natural low-level compilation target for languages such as C, C++, and Rust, enabling programs written in these ...
Watt, Conrad
core +1 more source
WebAssembly as an alternative solution for JavaScript in developing modern web applications
Journal of Computer Sciences Institute, 2019 The article describes the impact of using WebAssembly on the performance of web applications. A Blazor framework based on WebAssembly was used. The paper shows that it is possible to create fully functioning Single Page Application using C# programming ...
Dawid Suryś +2 more
doaj +1 more source
Carnap: an Open Framework for Formal Reasoning in the Browser [PDF]
, 2018 This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but
Leach-Krouse, Graham
core +2 more sources
Mechanising and verifying the WebAssembly specification [PDF]
, 2018 WebAssembly is a new low-level language currently being implemented in all major web browsers. It is designed to become the universal compilation target for the web, obsoleting existing solutions in this area, such as asm.js and Native Client.
Watt, Conrad
core +1 more source
Journal of Phycology, Volume 59, Issue 3, Page 590-602, June 2023., 2023 Abstract Microphytobenthos (MPB), typically comprised mainly of diatoms, is a key contributor to nearshore energy flow and nutrient cycles. Deposit‐feeding invertebrates are known to alter the structure and activity of MPB. The eastern mud snail Ilyanassa obsoleta can reach extremely high densities in estuaries of the northwestern Atlantic, and their ...
Craig J. Plante +2 more
wiley +1 more source
Leveraging WebAssembly for Numerical JavaScript Code Virtualization
IEEE Access, 2019 Code obfuscation built upon code virtualization technology is one of the viable means for protecting sensitive algorithms and data against code reverse engineering attacks. Code virtualization has been successfully applied to programming languages like C,
Shuai Wang +10 more
doaj +1 more source
River connectivity and climate behind the long‐term evolution of tropical American floodplain lakes
Ecology and Evolution, Volume 11, Issue 19, Page 12970-12988, October 2021., 2021 We present a multi‐proxy approach on short sedimentary cores form two neotropical flood plain lakes associated with the Magdalena River, Colombia, to study temporal variation in diatoms, sediment geochemistry and climate. We proposed that lake hydrological connectivity to the Magdalena River is a main factor controlling lake long‐term responses to ...
Laura Lopera‐Congote +4 more
wiley +1 more source
A Volunteer Computing Architecture for Computational Workflows on Decentralized Web
IEEE Access, 2022 The amount of accessible computational devices over the Internet offers an enormous but latent computational power. Nonetheless, the complexity of orchestrating and managing such devices requires dedicated architectures and tools and hinders the ...
Alessia Antelmi +4 more
doaj +1 more source
Rheagogies: modelling non-trophic effects in food webs [PDF]
, 2005 In a food web, nutrients flow via trophic links. For this reason, trophic interactions have a fundamental character due to the principle of mass conservation.
Arditi, R. +2 more
core +1 more source
WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
, 2023 WebAssembly has is renowned for its efficiency and security in browser environments and servers alike. The burgeoning ecosystem of WebAssembly compilers and tools lacks robust software diversification systems.
Baudry, Benoit +3 more
core +1 more source