Chaff: engineering an efficient SAT solver von Moskewicz, Matthew W., Madigan, Conor F., Zhao, Ying, Zhang, Lintao, Malik, Sharad

Volltext

Matching architecture to application via configurable processors: a case study with boolean satisfiability problem von Ying Zhao, Malik, S., Wang, A., Moskewicz, M.W., Madigan, C.F.

Volltext

Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures von Weber, Scott J., Moskewicz, Matthew W., Gries, Matthias, Sauer, Christian, Keutzer, Kurt

Volltext bestellen

Enhancing the Programmability and Performance Portability of GPU Tensor Operations von Mazaheri, Arya, Schulte, Johannes, Moskewicz, Matthew W., Wolf, Felix, Jannesari, Ali

Volltext

Tuning the VSIDS decision heuristic for bounded model checking von Shacham, O., Zarpas, E.

Volltext bestellen

GridSAT: a system for solving satisfiability problems using a computational grid von Chrabakh, Wahid, Wolski, Rich

Volltext

Efficient Resource-Aware Convolutional Neural Architecture Search for Edge Computing with Pareto-Bayesian Optimization von Yang, Zhao, Zhang, Shengbing, Li, Ruxu, Li, Chuxi, Wang, Miao, Wang, Danghui, Zhang, Meng

Volltext

Hardware based algorithm for conflict diagnosis in SAT solver von Safar, M., Shalan, M., El-Kharashi, M.W., Salem, A.

Volltext

A Hardware Accelerator for SAT Solving von Safar, M., Shalan, M., El-Kharashi, M.W., Salem, A.

Volltext bestellen

A light CNN for detecting COVID-19 from CT scans of the chest von Polsinelli, Matteo, Cinque, Luigi, Placidi, Giuseppe

Volltext

An Application of Analytic Wavelet Transform and Convolutional Neural Network for Radar Intrapulse Modulation Recognition von Walenczykowska, Marta, Kawalec, Adam, Krenc, Ksawery

Volltext

Estimation of energy consumption in machine learning von García-Martín, Eva, Rodrigues, Crefeda Faviola, Riley, Graham, Grahn, Håkan

Volltext

OrbitNet: A new CNN model for automatic fault diagnostics of turbomachines von Jiang, Xiaomo, Yang, Shuhua, Wang, Fumin, Xu, Shengli, Wang, Xiaofang, Cheng, Xueyu

Volltext

On the Automatic Detection and Classification of Skin Cancer Using Deep Transfer Learning von Fraiwan, Mohammad, Faouri, Esraa

Volltext

Explainable COVID-19 Detection Using Chest CT Scans and Deep Learning von Alshazly, Hammam, Linse, Christoph, Barth, Erhardt, Martinetz, Thomas

Volltext

Fire Detection Method in Smart City Environments Using a Deep-Learning-Based Approach von Avazov, Kuldoshbay, Mukhiddinov, Mukhriddin, Makhmudov, Fazliddin, Cho, Young Im

Volltext

FP-BNN: Binarized neural network on FPGA von Liang, Shuang, Yin, Shouyi, Liu, Leibo, Luk, Wayne, Wei, Shaojun

Volltext

Real-time construction demolition waste detection using state-of-the-art deep learning methods; single–stage vs two-stage detectors von Demetriou, Demetris, Mavromatidis, Pavlos, Robert, Ponsian M., Papadopoulos, Harris, Petrou, Michael F., Nicolaides, Demetris

Volltext

Bearing fault diagnosis using transfer learning and self-attention ensemble lightweight convolutional neural network von Zhong, Hongyu, Lv, Yong, Yuan, Rui, Yang, Di

Volltext

Deep learning-based remaining useful life estimation of bearings using multi-scale feature extraction von Li, Xiang, Zhang, Wei, Ding, Qian

Volltext