scholarly journals Inline function expansion for compiling C programs

1989 ◽  
Author(s):  
P. P. Chang ◽  
W.-W. Hwu
Keyword(s):  
C Programs ◽  
Function Expansion

scholarly journals Inline function expansion for compiling C programs

1989 ◽  
Vol 24 (7) ◽  
pp. 246-257 ◽  
Author(s):  
P. P. Chang ◽  
W.-W. Hwu
Keyword(s):  
C Programs ◽  
Function Expansion

Traveling wave solutions for the Couple Boiti-Leon-Pempinelli System by using extended Jacobian elliptic function expansion method

2015 ◽  
Vol 11 (3) ◽  
pp. 3134-3138 ◽  
Author(s):  
Mostafa Khater ◽  
Mahmoud A.E. Abdelrahman
Keyword(s):  
Elliptic Function ◽  
Traveling Wave ◽  
Evolution Equations ◽  
Nonlinear Evolution ◽  
Traveling Wave Solutions ◽  
Expansion Method ◽  
Mathematical Physics ◽  
Nonlinear Evolution Equations ◽  
Jacobian Elliptic Function ◽  
Function Expansion

In this work, an extended Jacobian elliptic function expansion method is pro-posed for constructing the exact solutions of nonlinear evolution equations. The validity and reliability of the method are tested by its applications to the Couple Boiti-Leon-Pempinelli System which plays an important role in mathematical physics.

Refactoring C++ Programs Physically

2009 ◽  
Vol 20 (3) ◽  
pp. 597-607
Author(s):  
Tian-Lin ZHOU ◽  
Liang SHI ◽  
Bao-Wen XU ◽  
Yu-Ming ZHOU
Keyword(s):  
C Programs

Static deadlock detection for asynchronous C# programs

2017 ◽  
Vol 52 (6) ◽  
pp. 292-305 ◽  
Author(s):  
Anirudh Santhiar ◽  
Aditya Kanade
Keyword(s):  
Deadlock Detection ◽  
C Programs

scholarly journals Shape Neutral Analysis of Graph-based Data-structures

2018 ◽  
Vol 18 (3-4) ◽  
pp. 470-483 ◽  
Author(s):  
GREGORY J. DUCK ◽  
JOXAN JAFFAR ◽  
ROLAND H. C. YAP
Keyword(s):  
Data Structure ◽  
Data Structures ◽  
Program Analysis ◽  
Constraint Handling ◽  
C Programs ◽  
Wide Range ◽  
Target Program ◽  
Target Data ◽  
Structure Graph ◽  
Structure Properties

AbstractMalformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipulating programs remains challenging. In this paper we present a constraint-based program analysis that checks data-structure integrity, w.r.t. given target data-structure properties, as the heap is manipulated by the program. Our approach is to automatically generate a solver for properties using the type definitions from the target program. The generated solver is implemented using a Constraint Handling Rules (CHR) extension of built-in heap, integer and equality solvers. A key property of our program analysis is that the target data-structure properties are shape neutral, i.e., the analysis does not check for properties relating to a given data-structure graph shape, such as doubly-linked-lists versus trees. Nevertheless, the analysis can detect errors in a wide range of data-structure manipulating programs, including those that use lists, trees, DAGs, graphs, etc. We present an implementation that uses the Satisfiability Modulo Constraint Handling Rules (SMCHR) system. Experimental results show that our approach works well for real-world C programs.

Compiling Three-Address Code for C Programs

1981 ◽  
Vol 60 (2) ◽  
pp. 159-166
Author(s):  
J. F. Reiser
Keyword(s):  
C Programs

Transport and Deposition of Ellipsoidal Fibers in Subject-Specific Lung Airways

2012 ◽  
Author(s):  
Yu Feng ◽  
Clement Kleinstreuer
Keyword(s):  
Drug Carriers ◽  
Blood Stream ◽  
Spherical Particles ◽  
Phase Method ◽  
Computer Simulation Model ◽  
C Programs ◽  
Particle Modeling ◽  
Subject Specific ◽  
Fiber Deposition ◽  
Lung Airways

Fine to ultrafine materials, such as spherical particles and fibers with their diverse applications ranging from cosmetics, cleaners and composites to nanomedicine are increasingly ubiquitous in the air we breathe. For example, the unique lung deposition patterns of nanoparticles and their ease-of-migration into the blood stream may cause severe health problems, as discussed by Oberdoerster et al. (2005). In contrast, multifunctional nanoparticles as well as micron fibers are also being used as drug carriers for cancer treatment (Zhang et al., 2011). While the transport and deposition of spherical nanoparticles has been analyzed (Kleinstreuer and Zhang, 2010; among others), the fate of ellipsoidal particles in subject-specific lung airways has hardly been addressed. In this study, the Euler-Lagrange fluid-particle modeling approach (i.e., the Discrete Phase Method solver) has been employed in Fluent 13.0 (ANSYS, Canonsburg, PA). User-supplied C-programs have been added to simulate ellipsoidal fibers transport and orientation effects. The computer simulation model has been validated for fiber transport and deposition in a circular tube (Tian et al., 2012). Additionally, transitional airflow patterns were analyzed and local deposition efficiencies compared for spherical particles and fibers in a realistic human respiratory system. The capability of ellipsoidal fibers migrating into deeper lung regions was indicated and fiber deposition “hot spots” were discussed. The numerical results expand the basic understanding of the dynamics of non-spherical particles in realistic shear flows, and can be used to investigate the fate of inhaled toxic or therapeutic materials.

Design and Implementation of Spurs Detection System Based on OpenCV

2011 ◽  
Vol 345 ◽  
pp. 217-222
Author(s):  
Peng He ◽  
Lian Peng Wang ◽  
Na Wang ◽  
Gang Xu
Keyword(s):  
Computed Tomography ◽  
Embedded System ◽  
Detection System ◽  
Experimental Results ◽  
Design And Implementation ◽  
Function Expansion ◽  
The Embedded System ◽  
Improved Function ◽  
Small Bone ◽  
Improved Algorithm

In order to better solve the problem of detection of small bone spurs with convenient and accurate way, a portable spur detection system is designed. This system, in view of spur reproducibility characteristic, is characterized by the application for a kind of the improved algorithm based on the OpenCV. And it was successfully transplanted into the embedded system. The experimental results indicated that this system might precisely examine the small spur with difficulty discovery by naked eyes used fully by two images of computed tomography which done in different periods. The spur detection system needs to be further improved function to realize more applications. In fact, function expansion based on the system is easy to realize.

Sign in / Sign up

Export Citation Format

Share Document