Results 121 to 130 of about 3,038 (211)

Open-Source Browser-Based Tools for Structure-Based Computer-Aided Drug Discovery. [PDF]

Molecules, 2022
Wang A, Durrant JD.
europepmc   +1 more source

Wasocaml: compiling OCaml to WebAssembly

, 2023
Léo Andrès, Pierre Chambart, Jean-Christophe Filliâtre   +2 more
openalex   +1 more source

A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices. [PDF]

Sensors (Basel), 2022
Culic I, Vochescu A, Radovici A.
europepmc   +1 more source

EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO's Smart Contracts at Webassembly-level [PDF]

, 2019
Lijin Quan, Lei Wu, Haoyu Wang
openalex   +1 more source

Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly

, 2021
Rodothea Myrsini Tsoupidi, Musard Balliu, Benoît Baudry   +2 more
openalex   +2 more sources

Heatmapper2: web-enabled heat mapping made easy. [PDF]

Nucleic Acids Res
Kernick K, Woudstra R, Berjanskii M, MacKay S, Wishart DS.   +4 more
europepmc   +1 more source

Bringing Together Cross-ISA Checkpoint/Restoration and AOT Compilation of WebAssembly Programs [PDF]

Raiki Tamura, Daisuke Kotani, Kazuyuki Shudo, Yasuo Okabe   +3 more
openalex   +1 more source

A Cross-Device and Cross-OS Benchmark of Modern Web Animation Systems. [PDF]

J Imaging
Koren Ivančević T, Ježić TJ, Stanić Loknar N.   +2 more
europepmc   +1 more source

JINet: easy and secure private data analysis for everyone. [PDF]

BMC Bioinformatics
Lalli G, Collier J, Moreau Y, Raimondi D.   +3 more
europepmc   +1 more source

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis

, 2023
­ Anonymous
openalex   +1 more source