Results 11 to 20 of about 55,219 (268)
Fractal symbolic analysis [PDF]
Proceedings of the 15th international conference on Supercomputing, 2001 Modern compilers restructure programs to improve their efficiency. Dependence analysis is the most widely used technique for proving the correctness of such transformations, but it suffers from the limitation that it considers only the memory locations read and written by a statement without considering what is being computed by that ...
Nikolay Mateev +2 more
openaire +2 more sources
Symbolic object code analysis [PDF]
International Journal on Software Tools for Technology Transfer, 2010 Current software model checkers quickly reach their limits when being applied to verifying pointer safety properties in source code that includes function pointers and inlined assembly. This paper introduces an alternative technique for checking pointer safety violations, called Symbolic Object Code Analysis (SOCA), which is based on bounded symbolic ...
Mühlberg, Jan Tobias, Lüttgen, Gerald
openaire +6 more sources
Diversity Analysis of Symbol-by-Symbol Linear Equalizers [PDF]
IEEE Transactions on Communications, 2011 In frequency-selective channels linear receivers enjoy significantly-reduced complexity compared with maximum likelihood receivers at the cost of performance degradation which can be in the form of a loss of the inherent frequency diversity order or reduced coding gain.
Ali Tajer +2 more
openaire +2 more sources
Symbolic range analysis of pointers [PDF]
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016 Alias analysis is one of the most fundamental techniques thatcompilers use to optimize languages with pointers.However, in spite of all the attention that this topic has received, the currentstate-of-the-art approaches inside compilers still face challenges regardingprecision and speed.In particular, pointer arithmetic, a key feature in C and C++, is ...
Paisante, Vitor +4 more
openaire +2 more sources
Fuzzy-Symbolic Analysis for Classification of Symbolic Data [PDF]
, 2005 A recent study on symbolic data analysis literature reveals that symbolic distance measures are playing a major role in solving the pattern recognition and analysis problems. After a careful study on the existing symbolic distance measures, we have identified that most of the existing symbolic distance measures either suffer from generalization or do ...
M. S. Dinesh +2 more
openaire +1 more source
Nihon Kikai Gakkai ronbunshu, 2022 In this paper, a novel dynamical decoupled design of a two-dof differential belt-driven parallel robot is proposed. Equation of motion of the robot, including the inside mechanical properties of pulleys and sliders, are derived by the symbolic multibody ...
Takashi HARADA
doaj +1 more source
Nihon Kikai Gakkai ronbunshu, 2018 A novel two-limb six-degrees-of-freedom (dof) parallel robot redundantly driven by eight actuators is proposed. The proposed robot was named Atarigi Carrier or ATARIGI for short. An atarigi is a long wooden pestle, an instrument used in Japanese cooking.
Takashi HARADA, Toru MAKINO
doaj +1 more source
Neuronal Transmission of Subthreshold Periodic Stimuli Via Symbolic Spike Patterns
Entropy, 2020 We study how sensory neurons detect and transmit a weak external stimulus. We use the FitzHugh–Nagumo model to simulate the neuronal activity. We consider a sub-threshold stimulus, i.e., the stimulus is below the threshold needed for triggering action ...
Maria Masoliver, Cristina Masoller
doaj +1 more source
Frontiers in Cardiovascular Medicine, 2022 The current study was undertaken to test the hypothesis that systemic sclerosis (SSc) patients with higher systolic pulmonary arterial pressures (PAPs) present a blunted cardiac autonomic modulation and a pro-inflammatory profile.
Gabriel D. Rodrigues +14 more
doaj +1 more source
Spurious Seasonality Detection: A Non-Parametric Test Proposal
Econometrics, 2018 This paper offers a general and comprehensive definition of the day-of-the-week effect. Using symbolic dynamics, we develop a unique test based on ordinal patterns in order to detect it.
Aurelio F. Bariviera +2 more
doaj +1 more source