Ahmed Mahdi
Ahmed Mahdi
Vassilis Paliouras
Adresse e-mail validée de ece.upatras.gr
Titre
Citée par
Citée par
Année
LDPC encoding and decoding techniques
I Tsatsaragkos, A Mahdi, N Kanistras, V Paliouras
US Patent 8,739,001, 2014
222014
Accurate ICP-based floating-point reasoning
K Scheibler, F Neubauer, A Mahdi, M Fränzle, T Teige, T Bienmüller, ...
2016 Formal Methods in Computer-Aided Design (FMCAD), 177-184, 2016
132016
A low complexity-high throughput QC-LDPC encoder
A Mahdi, V Paliouras
IEEE transactions on signal processing 62 (10), 2696-2708, 2014
102014
An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes
A Mahdi, N Kanistras, V Paliouras
2011 IEEE Workshop on Signal Processing Systems (SiPS), 328-333, 2011
92011
On the encoding complexity of quasi-cyclic LDPC codes
A Mahdi, V Paliouras
IEEE Transactions on Signal Processing 63 (22), 6096-6108, 2015
82015
Impact of LLR saturation and quantization on LDPC min-sum decoders
N Kanistras, I Tsatsaragkos, I Paraskevakos, A Mahdi, V Paliouras
2010 IEEE Workshop On Signal Processing Systems, 410-415, 2010
82010
Digital baseband challenges for a 60GHz gigabit link
N Kanistras, I Tsatsaragkos, A Mahdi, K Karagianni, V Paliouras, ...
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
72011
An FPGA-based prototyping method for verification, characterization and optimization of LDPC error correction systems
P Sakellariou, I Tsatsaragkos, N Kanistras, A Mahdi, V Paliouras
2012 International Conference on Embedded Computer Systems (SAMOS), 286-293, 2012
52012
Advancing software model checking beyond linear arithmetic theories
A Mahdi, K Scheibler, F Neubauer, M Fränzle, B Becker
Haifa Verification Conference, 186-201, 2016
22016
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
F Neubauer, K Scheibler, B Becker, A Mahdi, M Fränzle, T Teige, ...
SC²@ SYNASC, 32-38, 2016
22016
Transformations for compositional verification of assumption-commitment properties
A Mahdi, B Westphal, M Fränzle
International Workshop on Reachability Problems, 216-229, 2014
22014
Low density parity check encoder and encoding method
AS Mahdi, NL Kanistras, V Paliouras
US Patent 9,003,257, 2015
12015
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
A Mahdi, M Fränzle
International Workshop on Reachability Problems, 203-215, 2014
12014
Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs
A Mahdi, P Sakellariou, N Kanistras, I Tsatsaragkos, V Paliouras
2012 19th IEEE International Conference on Electronics, Circuits, and …, 2012
12012
Simplified multi-level quasi-cyclic LDPC codes for low-complexity encoders
A Mahdi, V Paliouras
2012 IEEE Workshop on Signal Processing Systems, 1-6, 2012
12012
A SoC-ZYNQ-Based SW-HW Co-Simulation and Verification Method
AS Mahdi, C Archonta, G Tzimas, A El-Kady
2019 Panhellenic Conference on Electronics & Telecommunications (PACET), 1-6, 2019
2019
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models
A Mahdi
Universität Oldenburg, 2017
2017
Some properties of a new subclass of multivalent analytic functions with negative coefficients Involoing the generalized Noor integral operator
AM MAHDI
Al-Qadisiyah Journal Of Pure Science 21 (3), 23-30, 2016
2016
LDPC codes: code construction and encoder hardware implementation
A Mahdi
2015
Αρχιτεκτονική και υλοποίηση κωδικοποιητών VLSI για κώδικες LDPC
A Mahdi
2010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20