Amanote Research
Register
Sign In
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
doi 10.1109/fmcad.2013.6679401
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2013
Authors
Hassan Eldib
Publisher
IEEE
Related search
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
An Efficient Method for Random Delay Generation in Embedded Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A QR Code Image Recognition Method for an Embedded Access Control System
DEStech Transactions on Computer Science and Engineering
Method for Optimizing Pseudo Code Ranging Accuracy by Carrier Observation
DEStech Transactions on Social Science, Education and Human Science
Optimizing the Use of an SPI Flash PROM in Microblaze-Based Embedded Systems
International Journal of Advanced Computer Science and Applications
Computer Science
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Testing Design for Embedded Automotive Software
An Encryption Method for QR Code Image Based on ECA
International Journal of Security and its Applications
Computer Science
Optimizing Sparse Matrix Computations for Register Reuse in SPARSITY
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
