Transformational Derivation of an Improved Alias Analysis Algorithm

2008 ◽  
pp. 49-70
Author(s):  
Deepak Goyal
Keyword(s):  
Alias Analysis ◽  
Analysis Algorithm

Layered Region Based Flow-Sensitive Demand-Driven Alias Analysis

2014 ◽  
Vol 577 ◽  
pp. 917-920
Author(s):  
Long Pang ◽  
Xiao Hong Su ◽  
Pei Jun Ma ◽  
Ling Ling Zhao
Keyword(s):  
Program Analysis ◽  
Control Flow ◽  
Alias Analysis ◽  
Reachability Problem ◽  
Analysis Algorithm ◽  
Context Free Language ◽  
Context Free ◽  
Free Language ◽  
Demand Driven Analysis

The pointer alias is indispensable for program analysis. Comparing to point-to set, it’s more efficient to formulate the alias as the context free language (CFL) reachability problem. However, the precision is limited to flow-insensitivity. To solve this problem, we propose a flow sensitive, demand-driven analysis algorithm for answering may-alias queries. First the partial single static assignment is used to discriminate the address-taken pointers. Then the order of control flow is encoded in the level linearization code to ease comparison. Finally, the query of alias in demand driven is converted into the search of CFL reachability with feasible flows. The experiments demonstrate the effectiveness of the proposed approach.

Interpreting HVEM of muscle-cell impulse networks

1992 ◽  
Vol 50 (1) ◽  
pp. 126-127
Author(s):  
Paul DeCosta ◽  
Kyugon Cho ◽  
Stephen Shemlon ◽  
Heesung Jun ◽  
Stanley M. Dunn
Keyword(s):  
Structural Analysis ◽  
Muscle Cell ◽  
Electron Micrographs ◽  
Relative Size ◽  
Automatic Classification ◽  
Nerve Fibers ◽  
Analysis Algorithm ◽  
Structural Networks

Introduction: The analysis and interpretation of electron micrographs of cells and tissues, often requires the accurate extraction of structural networks, which either provide immediate 2D or 3D information, or from which the desired information can be inferred. The images of these structures contain lines and/or curves whose orientation, lengths, and intersections characterize the overall network.Some examples exist of studies that have been done in the analysis of networks of natural structures. In, Sebok and Roemer determine the complexity of nerve structures in an EM formed slide. Here the number of nodes that exist in the image describes how dense nerve fibers are in a particular region of the skin. Hildith proposes a network structural analysis algorithm for the automatic classification of chromosome spreads (type, relative size and orientation).

Real-time Worker Safety Management System Using Deep Learning-based Video Analysis Algorithm

2020 ◽  
Vol 9 (3) ◽  
pp. 25-30
Author(s):  
So Yeon Jeon ◽  
Jong Hwa Park ◽  
Sang Byung Youn ◽  
Young Soo Kim ◽  
Yong Sung Lee ◽  
...  
Keyword(s):  
Deep Learning ◽  
Real Time ◽  
Video Analysis ◽  
Management System ◽  
Safety Management ◽  
Worker Safety ◽  
Safety Management System ◽  
Analysis Algorithm

Automatic External Defibrillators for Public Access Defibrillation: Recommendations for Specifying and Reporting Arrhythmia Analysis Algorithm Performance, Incorporating New Waveforms, and Enhancing Safety

Circulation ◽  
1997 ◽  
Vol 95 (6) ◽  
pp. 1677-1682 ◽  
Author(s):  
Richard E. Kerber ◽  
Lance B. Becker ◽  
Joseph D. Bourland ◽  
Richard O. Cummins ◽  
Alfred P. Hallstrom ◽  
...  
Keyword(s):  
Public Access ◽  
Algorithm Performance ◽  
Analysis Algorithm ◽  
Public Access Defibrillation

scholarly journals ECG peak-detector and waveform analysis algorithm

2021 ◽  
Author(s):  
R. I. Rojas-Jiménez ◽  
A. Muñoz-Diosdado ◽  
J. A. Zamora-Justo
Keyword(s):  
Waveform Analysis ◽  
Peak Detector ◽  
Analysis Algorithm

scholarly journals The diagnosis of respiratory disease in children using a phone-based cough and symptom analysis algorithm: The smartphone recordings of cough sounds 2 (SMARTCOUGH-C 2) trial design

2021 ◽  
Vol 101 ◽  
pp. 106278
Author(s):  
Peter P. Moschovis ◽  
Esther M. Sampayo ◽  
Anna Cook ◽  
Gheorghe Doros ◽  
Blair A. Parry ◽  
...  
Keyword(s):  
Respiratory Disease ◽  
Trial Design ◽  
Analysis Algorithm
Sign in / Sign up

Export Citation Format

Share Document