Results 41 to 50 of about 3,335 (212)
Large Language Models and Agentic AI for Vulnerability Management: A Systematic Review
Expert Systems, Volume 43, Issue 11, November 2026.ABSTRACT Large Language Models (LLMs), pretrained language and code models and agentic artificial intelligence are increasingly being investigated across the vulnerability‐management lifecycle. However, the evidence remains fragmented across code‐level prediction, vulnerability‐intelligence enrichment, exploit‐oriented evaluation, automated repair and ...
Yasamin Akrami +2 more
wiley +1 more source
Optimizing programs for given hardware architectures with static compilation: methods and tools
Труды Института системного программирования РАН, 2018 The paper describes the workflow for optimizing programs for performance targeting the fixed hardware architecture with static compilation using GCC and LLVM compilers as examples.
Dmitry Melnik +5 more
doaj +1 more source
Diabetes, Obesity and Metabolism, Volume 28, Issue 10, Page 8925-8935, October 2026.ABSTRACT Aims To assess whether self‐reported leisure‐time physical activity, moderate‐to‐vigorous leisure‐time physical activity, and genetically determined cardiorespiratory fitness are associated with age‐related BMI trajectories and incident obesity. Methods We pooled 14 993 adults (30–90 years; 52.7% women; cohorts: REGICOR‐ACRISC, ILERVAS, ARTPER)
Javier Hernando‐Redondo +13 more
wiley +1 more source
Dynamic compilation of expressions in SQL queries for PostgreSQL
Труды Института системного программирования РАН, 2018 In recent years, as performance and capacity of main and external memory grow, performance of database management systems (DBMSes) on certain kinds of queries is more determined by raw CPU speed.
E. Y. Sharygin +4 more
doaj +1 more source
Concurrency and Computation: Practice and Experience, Volume 38, Issue 15, August 2026.ABSTRACT OpenMP, a leading tool for loop‐based parallel programming on shared memory platforms, is becoming a more powerful environment for exploiting task‐based parallelism. Recent specification versions have added support for new task clauses, while the OMPT interface provides a standard API for performance monitoring. In this paper, we present a new
Vinícius Garcia Pinto +1 more
wiley +1 more source
Generating Verified LLVM from Isabelle/HOL
We present a framework to generate verified LLVM programs from Isabelle/HOL. It is based on a code generator that generates LLVM text from a simplified fragment of LLVM, shallowly embedded into Isabelle/HOL.
Lammich, Peter
core +6 more sources
Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure
Труды Института системного программирования РАН, 2018 The paper describes the methods for obfuscating C/C++ programs to prevent applying static analyzers to them. The methods are implemented within the well-known LLVM compiler infrastructure.
Victor Ivannikov +6 more
doaj +1 more source
Converting an Integer to a Decimal String in Under Two Nanoseconds
Software: Practice and Experience, Volume 56, Issue 8, Page 963-977, August 2026.ABSTRACT Objective Converting binary integers to variable‐length decimal strings is a fundamental operation in computing. Conventional fast approaches rely on recursive division and small lookup tables. The goal of this work is to develop a significantly faster method for this task.
Jaël Champagne Gareau, Daniel Lemire
wiley +1 more source