Results 31 to 40 of about 942,194 (293)
A simulator to support assembly language teaching
Revista Brasileira de Ensino de Ciência e Tecnologia, 2022 This article describes a simulator of a simple hypothetical processor used for introducing assembly language concepts to high school and university students.
Rene Pegoraro +1 more
doaj +1 more source
Toward a Formal Semantics for Autonomic Components [PDF]
, 2008 Autonomic management can improve the QoS provided by parallel/ distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic - monitoring-driven - alteration of the component assembly and, therefore,
JO Kephart +3 more
core +2 more sources
FunTAL: Reasonably Mixing a Functional Language with Assembly
, 2017 We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix.
Ahmed, Amal +3 more
core +1 more source
SIMBA: a web tool for managing bacterial genome assembly generated by Ion PGM sequencing technology [PDF]
, 2016 Background The evolution of Next-Generation Sequencing (NGS) has considerably reduced the cost per sequenced-base, allowing a significant rise of sequencing projects, mainly in prokaryotes. However, the range of available NGS platforms requires different
Aguiar, Edgar L. +13 more
core +3 more sources
Unified Framework for Finite Element Assembly
, 2009 At the heart of any finite element simulation is the assembly of matrices and vectors from discrete variational forms. We propose a general interface between problem-specific and general-purpose components of finite element programs.
Alnæs, Martin Sandve +4 more
core +1 more source
Automated Verification of Practical Garbage Collectors [PDF]
, 2009 Garbage collectors are notoriously hard to verify, due to their low-level interaction with the underlying system and the general difficulty in reasoning about reachability in graphs.
Chris Hawblitzel +3 more
core +3 more sources
Science and Technology of Nuclear Installations, 2018 This article presents the validation of the Code for Thermal-hydraulic Evaluation of Nuclear Reactors with Plate Type Fuels (COTENP), a subchannel code which performs steady-state thermal-hydraulic analysis of nuclear reactors with plate type fuel ...
Duvan A. Castellanos-Gonzalez +3 more
doaj +1 more source
Binary Code Vulnerability Detection Based on Multi-Level Feature Fusion
IEEE Access, 2023 The existence of software vulnerabilities will cause serious network attacks and information leakage problems. Timely and accurate detection of vulnerabilities in software has become a research focus on the security field.
Guangli Wu, Huili Tang
doaj +1 more source
C to O-O Translation: Beyond the Easy Stuff
, 2013 Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts?
Furia, Carlo A. +4 more
core +2 more sources
Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs
, 2018 Binary code analysis allows analyzing binary code without having access to the corresponding source code. A binary, after disassembly, is expressed in an assembly language.
Li, Xiaopeng +5 more
core +1 more source