Search Results - "de Lima Filho, Eddie Batista"
-
1
SEMG signal compression based on two-dimensional techniques
Published in Biomedical engineering online (18-04-2016)“…Recently, two-dimensional techniques have been successfully employed for compressing surface electromyographic (SEMG) records as images, through the use of…”
Get full text
Journal Article -
2
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles
Published in IEEE transactions on reliability (01-12-2018)“…During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches…”
Get full text
Journal Article -
3
Program clock reference correction in transport stream processors with rate adaptation
Published in Multimedia tools and applications (01-06-2017)“…The program clock reference (PCR), which is carried by MPEG-2 transport streams, is commonly used for synchronizing different media types, in receivers. In…”
Get full text
Journal Article -
4
Evaluation of Ginga's CC-Web-Service Module
Published in 2023 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) (17-07-2023)“…Software testing has become a key factor in software development processes in the last decades. Ideally, it should check programming errors, assure…”
Get full text
Conference Proceeding -
5
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
Published 26-08-2024“…This study investigates vulnerabilities in dependencies of sampled open-source software (OSS) projects, the relationship between these and overall project…”
Get full text
Journal Article -
6
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking
Published 09-11-2023“…Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need…”
Get full text
Journal Article -
7
Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model
Published in IEEE transactions on image processing (01-04-2008)“…In this work, we further develop the multidimensional multiscale parser (MMP) algorithm, a recently proposed universal lossy compression method which has been…”
Get full text
Journal Article -
8
WiMAX Downlink OFDMA Burst Placement for Optimized Receiver Duty-Cycling
Published in 2007 IEEE International Conference on Communications (01-06-2007)“…Mobile wireless broadband access networks are now becoming a reality, thanks to the emerging IEEE 802.16e standard. This kind of network offers different…”
Get full text
Conference Proceeding -
9
Electrocardiographic signal compression using multiscale recurrent patterns
Published in IEEE transactions on circuits and systems. I, Regular papers (01-12-2005)“…In this paper, we use the multidimensional multiscale parser (MMP) algorithm, a recently developed universal lossy compression method, to compress data from…”
Get full text
Journal Article -
10
Parameter selection for SVM in automatic modulation classification of analog and digital signals
Published in 2014 International Telecommunications Symposium (ITS) (01-08-2014)“…Cognitive radio is a revolutionary technology that aims to solve the spectrum-underutilization problem, through spectrum sensing, which is a technique focused…”
Get full text
Conference Proceeding -
11
Discriminative filtering with principal component analysis and adaptive alignment
Published in 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) (01-10-2015)“…Discriminative filtering is a pattern recognition technique which seeks to maximize the energy of output signal when a pattern is found. To improve the…”
Get full text
Conference Proceeding