A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. | 0 | 0.34 | 2020 |
Automated Video Monitor Screen Extraction using Semantic Segmentation and CNN | 0 | 0.34 | 2020 |
A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers - Initial Concept. | 0 | 0.34 | 2020 |
An Architecture For Content Multiplexing And Enhanced Connectivity In Digital Tv Receivers | 0 | 0.34 | 2019 |
An Automated Testing Methodology For Digital TV Middleware Implementations | 0 | 0.34 | 2019 |
An Architecture For Multimedia Transmission Through Infrared Light Communications In Consumer Electronics Environments: First Results | 0 | 0.34 | 2019 |
Verifying fragility in digital systems with uncertainties using DSVerifier 2.0. | 1 | 0.35 | 2019 |
A Methodology For Convergence Between Ginga And Hbbtv | 0 | 0.34 | 2019 |
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. | 3 | 0.42 | 2018 |
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). | 0 | 0.34 | 2018 |
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. | 0 | 0.34 | 2018 |
A method to localize faults in concurrent C programs. | 1 | 0.37 | 2017 |
Bounded model checking of C plus plus programs based on the Qt cross-platform framework | 5 | 0.67 | 2017 |
BMCLua: A Translator for Model Checking Lua Programs. | 0 | 0.34 | 2017 |
OptCE: A Counterexample-Guided Inductive Optimization Solver. | 0 | 0.34 | 2017 |
Program clock reference correction in transport stream processors with rate adaptation. | 0 | 0.34 | 2017 |
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. | 0 | 0.34 | 2017 |
Verifying Digital Systems with MATLAB. | 2 | 0.38 | 2017 |
New Designs for Reduced-Redundancy Transceivers. | 0 | 0.34 | 2017 |
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. | 0 | 0.34 | 2016 |
Bounded model checking for fixed-point digital filters. | 6 | 0.49 | 2016 |
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. | 1 | 0.37 | 2016 |
Automated Content Detection On Tvs And Computer Monitors | 0 | 0.34 | 2015 |
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version) | 0 | 0.34 | 2015 |
Bounded Model Checking Of C Plus Plus Programs Based On The Qt Framework | 0 | 0.34 | 2015 |
Electromyographic Signal Compression Based On Two-Dimensional Techniques | 0 | 0.34 | 2015 |
Discriminative Filtering With Principal Component Analysis And Adaptive Alignment | 0 | 0.34 | 2015 |
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. | 2 | 0.36 | 2015 |
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version) | 0 | 0.34 | 2015 |
DSVerifier: A Bounded Model Checking Tool for Digital Systems | 12 | 0.63 | 2015 |
BMCLua: Verification of Lua programs in digital TV interactive applications | 1 | 0.36 | 2014 |
On ECG Signal Compression With 1-D Multiscale Recurrent Patterns Allied to Preprocessing Techniques. | 5 | 0.43 | 2009 |
Universal Image Compression Using Multiscale Recurrent Patterns With Adaptive Probability Model | 6 | 0.57 | 2008 |