 | 2010 |
|---|
| 7 |       | Feng Liu,
QingPing Tan,
Xiaoyu Song,
Naeem Abbasi:
AOP-based high-level power estimation in SystemC.
ACM Great Lakes Symposium on VLSI 2010: 353-356 |
| 6 | | Naeem Abbasi,
Osman Hasan,
Sofiène Tahar:
Formal Lifetime Reliability Analysis Using Continuous Random Variables.
WoLLIC 2010: 84-97 |
| 5 | | Osman Hasan,
Sofiène Tahar,
Naeem Abbasi:
Formal Reliability Analysis Using Theorem Proving.
IEEE Trans. Computers 59(5): 579-592 (2010) |
| 2009 |
|---|
| 4 | | Osman Hasan,
Naeem Abbasi,
Behzad Akbarpour,
Sofiène Tahar,
Reza Akbarpour:
Formal Reasoning about Expectation Properties for Continuous Random Variables.
FM 2009: 435-450 |
| 3 | | Naeem Abbasi,
Jacques Athow,
Aishy Amer:
Real-time FPGA architecture of modified Stable Euler-Number algorithm for image binarization.
ICIP 2009: 3253-3256 |
| 2 | | Osman Hasan,
Naeem Abbasi,
Sofiène Tahar:
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.
IFM 2009: 277-291 |
| 1995 |
|---|
| 1 | | Hong Shi,
Naeem Abbasi,
Charles A. Zukowski,
Omar Wing:
Buffer size trade-offs in input/output buffered ATM switches under various conditions.
ICCCN 1995: 258 |
Data released under the ODC-BY 1.0 license — See also our legal information page