Češka et al., 2020 - Google Patents
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuitsČeška et al., 2020
View PDF- Document ID
- 8319039352403872275
- Author
- Češka M
- Matyáš J
- Mrazek V
- Sekanina L
- Vasicek Z
- Vojnar T
- Publication year
- Publication venue
- Applied soft computing
External Links
Snippet
We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applications. Our approach integrates in a unique way formal methods providing formal …
- 230000003044 adaptive 0 title abstract description 64
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Češka et al. | Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits | |
| Wong et al. | Modeling and optimization of biodiesel engine performance using kernel-based extreme learning machine and cuckoo search | |
| Li et al. | Carbon price combination prediction model based on improved variational mode decomposition | |
| Masud et al. | Mathematical modelling and exergo-environmental analysis of drying potato samples in a waste heat-based convective dryer | |
| BR112015013161A2 (en) | data storage method and apparatus for tracking manufactured items | |
| Wang et al. | Research on the evolution of incentive mechanisms for urban deep decarbonization under the vision of carbon neutrality: a perspective of multi-agent embedded participation | |
| Pozzi et al. | A deep learning-based predictive controller for the optimal charging of a lithium-ion cell with non-measurable states | |
| WO2008102681A1 (en) | Circuit operation worst condition decision system, method, and program | |
| Xiao-Kan et al. | Design and research based on fuzzy PID-parameters self-tuning controller with MATLAB | |
| Huang et al. | A space search optimization algorithm with accelerated convergence strategies | |
| Rashid et al. | Machine learning and multicriteria analysis for prediction of compressive strength and sustainability of cementitious materials | |
| Brini et al. | Chern–Simons theory on L (p, q) lens spaces and Gopakumar–Vafa duality | |
| Yi et al. | Spatiotemporal pattern of carbon sources and sinks in Yangtze River Delta region, China | |
| Deng et al. | Machine‐Learning‐Enhanced Trial‐and‐Error for Efficient Optimization of Rubber Composites | |
| Yin et al. | Mode switch timing analysis for component-based multi-mode systems | |
| Guo et al. | Missile weapon system-of-systems optimization method based on information entropy | |
| Xu et al. | Greenhouse air temperature predictive control using the dynamic matrix control | |
| 柳长安 et al. | Path planning for reconnaissance UAV based on Ant Algorithm | |
| 查亚兵 et al. | Research on a Credibility Evaluation Method for Warfare Simulation Based on the Subject Integrate Judgment | |
| Jiangxin et al. | Study on the acquisition methods of power batteries for new energy car companies under green credit | |
| Xiao et al. | The simulation platform of dangerous chemical gas diffusion based on gauss plume model | |
| 邝先验 et al. | Local path planning based on multi layer VSA-Morphin algorithm | |
| Beckman | Our Dynamic Future | |
| 王伟 et al. | Mobile robot path planning based on IAPF and multilayer Morphin searching tree | |
| Dyvak et al. | Method of parametric identification of difference functional based on the interval data analysis |