Search Results - "Barkaoui, K"

Refine Results
  1. 1
  2. 2

    WASP-South hot Jupiters: WASP-178b, WASP-184b, WASP-185b, and WASP-192b by Hellier, Coel, Anderson, D R, Barkaoui, K, Benkhaldoun, Z, Bouchy, F, Burdanov, A, Cameron, A Collier, Delrez, L, Gillon, M, Jehin, E, Nielsen, L D, Maxted, P F L, Pepe, F, Pollacco, D, Pozuelos, F J, Queloz, D, Ségransan, D, Smalley, B, Triaud, A H M J, Turner, O D, Udry, S, West, R G

    “…ABSTRACT We report on four new transiting hot Jupiters discovered by the WASP-South survey. WASP-178b transits a V = 9.9, A1V star with Teff = 9350 ± 150 K,…”
    Get full text
    Journal Article
  3. 3
  4. 4

    Exploiting local persistency for reduced state-space generation by Barkaoui, K., Boucheneb, H., Li, Z.

    “…This paper deals with two partial order techniques for Petri nets (PN in short): persistent sets and step graphs. These techniques aim to reduce the width and…”
    Get full text
    Journal Article
  5. 5
  6. 6
  7. 7
  8. 8

    Opportunistic MAC layer design with stochastic Petri Nets for multimedia ad hoc networks by Escheikh, M., Barkaoui, K.

    Published in Concurrency and computation (01-07-2010)
    “…Providing optimal resource utilization while minimizing costs involved for wireless networks remains a challenging issue. Particularly mobile ad hoc…”
    Get full text
    Journal Article
  9. 9

    Parameterized supervisor synthesis for a modular class of discrete event systems by Zouari, B., Barkaoui, K.

    “…The presented work is related to the use of structural Petri net techniques in the supervisory control of discrete event systems. A relevant property of the…”
    Get full text
    Conference Proceeding
  10. 10

    Alley cropping agroforestry systems: Reservoirs for weeds or refugia for plant diversity? by Boinot, Sébastien, Fried, Guillaume, Storkey, Jonathan, Metcalfe, Helen, Barkaoui, Karim, Lauri, Pierre-Éric, Mézière, Delphine

    Published in Agriculture, ecosystems & environment (15-11-2019)
    “…•Understory vegetation strips are uncropped habitats associated with tree rows.•Spontaneous vegetation under the trees is perceived as a potential source of…”
    Get full text
    Journal Article
  11. 11
  12. 12
  13. 13
  14. 14

    On farm analysis of the effect of the preceding crop on N uptake and grain yield of durum wheat (Triticum durum Desf.) in Mediterranean conditions by Ben Zekri, Yosser, Barkaoui, Karim, Marrou, Hélène, Mekki, Insaf, Belhouchette, Hatem, Wery, Jacques

    “…One of the challenges of eco-efficient agriculture is the development of operational farming practices to increase the level of agricultural production,…”
    Get full text
    Journal Article
  15. 15

    Network availability modeling of VMIMO link in multi-hop wireless network by Escheikh, M., Barkaoui, K.

    “…Cooperative diversity or virtual antenna arrays enables transmission range extension and provides performance enhancements in wireless Multi-hop relay…”
    Get full text
    Conference Proceeding
  16. 16

    A deadlock prevention method for a class of FMS by Barkaoui, K., Ben Abdallah, I.

    “…In this paper we propose a deadlock prevention method for a class of FMS called System of Simple Sequential Processes with Resources (S/sup 3/PR). This method…”
    Get full text
    Conference Proceeding
  17. 17

    Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks by Escheikh, M., Barkaoui, K.

    “…The focus of this paper is the IEEE 802.11e MAC layer modeling under slow time varying Rayleigh fading channel via both layered and multi-layered design…”
    Get full text
    Conference Proceeding
  18. 18

    Reachability Analysis of P-time Petri Nets with Parametric Markings by Boucheneb, H., Barkaoui, K.

    “…This paper deals with the verification of P-Time Petri nets with parametric markings. It investigates the verification of reach ability properties in the case…”
    Get full text
    Conference Proceeding
  19. 19

    An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets by Barkaoui, K., Abdallah, B.

    “…The aim of this paper is to cope with deadlocks occurring in FMS where different sequential processes share many distinct resources. The Petri net model of the…”
    Get full text
    Conference Proceeding
  20. 20

    Towards an efficient probabilistic deadlock detection method for multidatabase systems by Barkaoui, K., Benamara, R.

    “…Deadlock detection is an important issue in multidatabase systems. Due to the autonomy of the local systems, the visibility of the state of local transactions…”
    Get full text
    Conference Proceeding