Search Results - "Tahar, S."

Design and verification of SystemC transaction-level models by Habibi, A., Tahar, S.

“…Transaction-level modeling allows exploring several SoC design architectures, leading to better performance and easier verification of the final product. In…”
Get full text

IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level by Aijiao Cui, Chip Hong Chang, Tahar, S.

“…This paper proposes an adaptive watermarking technique by modulating some closed cones in an originally optimized logic network (master design) for technology…”
Get full text

Numerical investigation of DE-AGMD desalination using RSM: Seeking optimal performance by Mokhtar, I. E., Boubakri, A., A. Tahar Bouguecha, S., Hafiane, A.

“…A double‐effect membrane distillation (DE-AGMD) process was developed by equipping air gap membrane distillation (AGMD) with internal heat recovery. In this…”
Get full text

Adaptive multistage parallel interference cancellation for CDMA by Guoqiang Xue, Jianfeng Weng, Tho Le-Ngoc, Tahar, S.

“…Although the multistage interference cancellation detector is simple in structure, its performance degrades when the number of active users becomes large. In…”
Get full text

An approach for the formal verification of DSP designs using Theorem proving by Akbarpour, B., Tahar, S.

“…This paper proposes a framework for the incorporation of formal methods in the design flow of digital signal processing (DSP) systems in a rigorous way. In the…”
Get full text

Towards the sustainable management of thuya (Tetraclinis articulata (Vahl.) Mast.) forests in Tunisia: models for main tree attributes by Calama, R., Sánchez-González, M., Garchi, S., Ammari, Y., Cañellas, I., Tahar, S.

“…The thuya (Tetraclinis articulata (Vahl.) Mast.) forests are one of the most important ecosystems in semiarid environments in north-western Africa, providing…”
Get full text

Formal verification of ASMs using MDGs by Gawanmeh, A., Tahar, S., Winter, K.

“…We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based…”
Get full text

Epidemiological study of human intestinal parasites in Sarawak, East Malaysia: A review by Tahar, A S, Bilung, L M, Apun, K, Richard, R L, Lim, Y A L

“…Intestinal parasitic infections are endemic in rural settings and may account for asymptomatic infections to various health complications. These infections are…”
Get more information

A Public-Key Watermarking Technique for IP Designs by Abdel-Hamid, Amr T., Tahar, Sofiene, Aboulhamid, El Mostapha

“…Sharing IP blocks in today's competitive market poses significant high security risks. Creators and owners of IP designs want assurances that their content…”
Get full text

Design for Verification of SystemC Transaction Level Models by Habibi, Ali, Tahar, Sofiene

“…Transaction level modeling allows exploring several SoC design architectures leading to better performance and easier verification of the final product. In…”
Get full text

Detection of serum hemolysins in autoimmune hemolytic anemia by Znazen, R., Kaabi, H., Hmida, S., Ben Abid, H., Ben Tahar, S., Zammit, I., Hafsia, A., Boukef, K.

“…Some patients with autoimmune hemolytic anemia (AIHA) have in their sera autohemolysins able to hemolyze RBCs in vitro by activation of complement. We describe…”
Get full text

Multistage interference cancellation with diversity reception for asynchronous QPSK DS/CDMA systems over multipath fading channels by Jianfeng Weng, Guoqiang Xue, Tho Le-Ngoc, Tahar, S.

“…This paper introduces a multistage interference cancellation (MIC) technique with diversity reception for quadrature phase shift keying (QPSK) asynchronous…”
Get full text

Towards an efficient assertion based verification of SystemC designs by Habibi, A., Tahar, S.

“…In this paper, we present an approach to verify efficiently assertions added on top of the SystemC library and based on the property specification language…”
Get full text

An analytical model for performance evaluation of parallel interference cancellers in CDMA systems by Guoqiang Xue, Weng, J.F., Tho Le-Ngoc, Tahar, S.

“…In multistage parallel interference cancellation, the tentative decisions for different users at each stage are mutually correlated, and they are also…”
Get full text

Nucleotide sequence and evolutionary relationships of cucumber mosaic virus (CMV) strains: CMV RNA 3 by Owen, Judith, Shintaku, Michael, Aeschleman, Paul, Tahar, Sofia Ben, Palukaitis, Peter

“…1 Department of Plant Pathology, Cornell University, Ithaca, New York 14853, U.S.A. and 2 Biosem, Groupe Limagrain, 24 Avenue des Landais, 63170 Aubiere,…”
Get full text

In vitro stem elongation of sweet pepper in media containing 24-epi-brassinolide by Franck-Duchenne, M. (Biocem, Aubiere (France).), Wang, Y.W, Ben-Tahar, S, Beachy, R.N

Get full text

Spin Asymmetries in Low-Energy Electron Scattering from Cesium Atoms by Baum, G., Raith, W., Roth, B., Tondera, M., Bartschat, K., Bray, I., Ait-Tahar, S., Grant, I. P., Norrington, P. H.

Get full text

Preparation and characterization of activated carbons from cardoon “Cynara Cardunculus” waste: Application to the adsorption of synthetic organic dyes by Hajji Nabih, M., El Hajam, M., Boulika, H., Chiki, Z., Ben Tahar, S., Idrissi Kandri, N., Zerouale, A.

“…There is a growing interest in the adsorption of pollutants on biosorbents, especially those of plant origin. This study deals with the development of two…”
Get full text

Modeling and formal verification of the Fairisle ATM switch fabric using MDGs by Tahar, S., Xiaoyu Song, Cerny, E., Zijian Zhou, Langevin, M., Ait-Mohamed, O.

“…In this paper, we present several techniques for modeling and formal verification of the Fairisle asynchronous transfer mode (ATM) switch fabric using multiway…”
Get full text

On the Design and Verification Methodology of the Look-Aside Interface by Habibi, Ali, Ahmed, Asif Iqbal, Mohamed, Otmane Ait, Tahar, Sofiene

“…In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes…”
Get full text