Results 31 to 40 of about 3,038 (211)
WebAssembly as an alternative solution for JavaScript in developing modern web applications
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
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
Carnap: an Open Framework for Formal Reasoning in the Browser [PDF]
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
Leveraging WebAssembly for Numerical JavaScript Code Virtualization
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
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
Mechanising and verifying the WebAssembly specification [PDF]
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
Abstract Distributed spatial infrastructures leveraging cloud computing technologies can tackle issues of disparate data sources and address the need for data‐driven knowledge discovery and more sophisticated spatial analysis central to the COVID‐19 pandemic.
Marynia Kolak +6 more
wiley +1 more source
A Volunteer Computing Architecture for Computational Workflows on Decentralized Web
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
Taint Tracking for WebAssembly [PDF]
WebAssembly seeks to provide an alternative to running large and untrusted binaries within web browsers by implementing a portable, performant, and secure bytecode format for native web computation. However, WebAssembly is largely unstudied from a security perspective.
Aron Szanto +2 more
openalex +3 more sources
Iris-Wasm: robust and modular verification of WebAssembly programs [PDF]
WebAssembly makes it possible to run C/C++ applications on the web with near-native performance. A WebAssembly program is expressed as a collection of higher-order ML-like modules, which are composed together through a system of explicit imports and ...
Birkedal, Lars +6 more
core +1 more source

