Results 31 to 40 of about 15,494 (304)

Investigation on Numerical Simulation of VIV of Deep-Sea Flexible Risers

Applied Sciences, 2023
The vortex-induced vibration (VIV) of flexible risers is a complex fluid–structure interaction (FSI) phenomenon. In this study, we conducted a numerical simulation method based on the slicing method to study the vortex-induced vibration (VIV) of deep-sea
Liyuan Jia, Song Sang, Xiao Shi, Fukui Shen   +3 more
doaj   +1 more source

Node coarsening calculi for program slicing

, 2001
Several approaches to reverse and re-engineering are based upon program slicing. Unfortunately, for large systems, such as those which typically form the subject of reverse engineering activities, the space and time requirements of slicing can be a ...
M. Laurence, J. Howroyd, Fox, C, Rob Hierons, Fox, Chris, R. Hierons, S. Danicic, Laurence, MR, John Howroyd, Mark Harman, Harman, Mark, C. Fox, Sebastian Danicic, Kings College, Harman, M, Howroyd, J, Hierons, RM, Chris Fox, M. Harman, Danicic, S, Danicic, Sebastian, Laurence, Michael, Hierons, Robert, Howroyd, John   +23 more
core   +1 more source

Towards Probabilistic Program Slicing [PDF]

, 2006
This paper outlines the concept of probabilistic program slicing. Whereas conventional slicing removes statements that cannot affect the slicing criterion, probabilistic slicing also removes statements that are unlikely to affect the criterion. The paper
Singer, Jeremy, Jeremy Singer
core   +1 more source

Data dependencies and program slicing: from syntax to abstract semantics

, 2008
We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program ...
Damiano Zanardini, MASTROENI, Isabella, Isabella Mastroeni, Mastroieni, Isabella, Zanardini, Damiano   +4 more
core   +1 more source

MultiGLICE: Combining Graph Neural Networks and Program Slicing for Multiclass Software Vulnerability Detection

Computers
This paper presents MultiGLICE (Multi class Graph Neural Network with Program Slice), a model for static code analysis to detect security vulnerabilities.
Wesley de Kraker, Harald Vranken, Arjen Hommersom   +2 more
doaj   +1 more source

Slicing Concurrent Constraint Programs [PDF]

, 2017
Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi   +3 more
openaire   +3 more sources

Specialization Slicing

, 2012
This paper defines a new variant of program slicing, called specialization slicing, and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization slicing is polyvariant: for a given
Susan Horwitz, Joiner, Rich, Thomas Reps, Horwitz, Susan, Rich Joiner, Aung, Min, Min Aung, Reps, Thomas   +7 more
core   +1 more source

A trajectory-based strict semantics for program slicing

, 2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate ...
Kiss, A, Laurence, Mike, Lahcen Ouarbya, Laurence, MR, Mike Laurence, Harman, Mark, Robert M. Hierons, Sebastian Danicic, Harman, M, Hierons, Robert M., Kiss, Ákos, Binkley, D, Laurence, Michael, Danicic, S, Hierons, Robert, David Binkley, Barraclough, RW, Mark Harman, Barraclough, Richard W., Barraclough, Richard, Ouarbya, Lahcen, Hierons, RM, Ouarbya, L, Richard W. Barraclough, Ákos Kiss, Danicic, Sebastian, Binkley, David   +26 more
core   +1 more source

Packet Optical Transport Network Slicing with Hard and Soft Isolation

Applied Sciences, 2021
Network operators have been dealing with the necessity of a dynamic network resources allocation to provide a new generation of customer-tailored applications.
Samier Barguil, Victor Lopez Alvarez, Luis Miguel Contreras Murillo, Oscar Gonzalez de Dios, Alejandro Alcala Alvarez, Carlos Manso, Pol Alemany, Ramon Casellas, Ricardo Martinez, David Gonzalez-Perez, Xufeng Liu, Jose-Miguel Pulido, Juan Pedro Fernandez-Palacios, Raul Muñoz, Ricard Vilalta   +14 more
doaj   +1 more source

Valosin‐containing protein counteracts ATP‐driven dissolution of FUS condensates through its ATPase activity in vitro

FEBS Letters, EarlyView.
Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura, Shin‐ichi Tate, Kyota Yasuda   +2 more
wiley   +1 more source