Kamal Amroun - Academia.edu (original) (raw)
Papers by Kamal Amroun
The Journal of Supercomputing, Dec 8, 2023
2023 International Conference on Smart Computing and Application (ICSCA), Feb 5, 2023
Lecture notes in networks and systems, 2023
Research Square (Research Square), Mar 8, 2023
Climate change and global warming are the greatest harmful consequences of human activity. Indeed... more Climate change and global warming are the greatest harmful consequences of human activity. Indeed, Human technological development and demographic growth has been accompanied by globalization. In this new era, the logistics revolution has removed borders and industrial value chains have been distributed all over the world. It is becoming difficult to attribute responsibilities for ecological impacts accurately, since consumers are not necessarily in the same area as the countries of manufacture or extraction of raw materials. At the same time, a new paradigm called the Internet of Things has come to reshape our relationship to the world. The smallest everyday objects are connected to the Internet and allow acquisition of large amount of data, interact with cyberspace and in some cases act on the real world in an automated way. On the other hand, the last decade has also seen the rise of a new technology for storing transactions data in a reliable and consented way. Blockchain has changed the way operations are made based on the concept of distributed ledger giving a new breath to the economy. They have also dived into companies business by allowing private implementations with permissioned blockhains. The aim of this work is to take advantage of the power of the two technologies combined-the Internet of Things provides
2023 International Conference on Smart Computing and Application (ICSCA), Feb 5, 2023
Today cloud computing is at the heart of all information technologies. This prodigious technologi... more Today cloud computing is at the heart of all information technologies. This prodigious technological paradigm relies on a very simple concept defined as the ability to deliver hardware and software resources as service directly over internet. A set of mechanisms cooperate to maintain the cloud reliability and to allow continuous delivery of these services while guaranteeing the same quality of service (QoS) and respecting the service-level agreement (SLA) for each client. Load balancing is one of those mechanisms and it ensures a crucial service, it can be defined as the ability of the system to ensure fairness in the distribution of workload over all servers. The most recent load balancing techniques are hybrid methods involving in major cases the combination between static and dynamic approaches, in other cases it can go further by integrating other mechanisms in order to improve the overall efficiency of the systems. The performance can be evaluated by parameters which generally ...
Université Abderahmane MIRA de Bejaia, 2019
Solving CSP is in general N P-Complete. However, there are various subsets of CSPs that can be so... more Solving CSP is in general N P-Complete. However, there are various subsets of CSPs that can be solved in polynomial time. Some of them can be identified by analyzing their structure. Unfortunately the proposed methods for exploiting these structural proprieties are not efficient in practice. So exploiting these structural properties for solving CSP∫ is a crucial challenge. In this paper, we propose efficient algorithms which exploit these structural proprieties, for both sequential and parallel resolutions. Some experiments done on academic benchmarks show the efficiciency of our approach.
univ. A/Mira .Bejaia, 2020
Université A / Mira Bejaia, 2020
International Journal of Security and Networks, 2022
The Journal of Supercomputing
Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While t... more Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While there are many kinds of constraints, the table constraint is perhaps the most significant-being the most well-studied and has the ability to encode any other constraints defined on finite variables. However, constraints can be very voluminous and their size can grow exponentially with their arity. To reduce space and the time complexity, researchers have focused on various forms of compression. In this paper we propose a new approach based on maximal frequent itemsets technique and area measure for enumerating the maximal frequent itemsets relevant for compressing table constraints. Our experimental results show the effectiveness and efficiency of this approach on compression and on solving compressed table constraints.
The Journal of Supercomputing
Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While t... more Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While there are many kinds of constraints, the table constraint is perhaps the most significant-being the most well-studied and has the ability to encode any other constraints defined on finite variables. However, constraints can be very voluminous and their size can grow exponentially with their arity. To reduce space and the time complexity, researchers have focused on various forms of compression. In this paper we propose a new approach based on maximal frequent itemsets technique and area measure for enumerating the maximal frequent itemsets relevant for compressing table constraints. Our experimental results show the effectiveness and efficiency of this approach on compression and on solving compressed table constraints.
ABSTRACT Many approaches exploiting Generalized Hypertree Decom-position are proposed in the lite... more ABSTRACT Many approaches exploiting Generalized Hypertree Decom-position are proposed in the literature for solving extensional Constraint Satisfaction Problems on finite domains. The most recent one, called FC-GHD, combines the merits of an enumerative search algorithm which is memory efficient with those of the Hypertree Decomposition which is time efficient. Although FC-GHD is proved to be efficient, some large instances could remain unresolved because of the memory fault problem. This present article proposes to enhance the FC-GHD method with the notion of compressed table constraints to deal with memory explosion problems.
Neural Computing and Applications
The Journal of Supercomputing, Dec 8, 2023
2023 International Conference on Smart Computing and Application (ICSCA), Feb 5, 2023
Lecture notes in networks and systems, 2023
Research Square (Research Square), Mar 8, 2023
Climate change and global warming are the greatest harmful consequences of human activity. Indeed... more Climate change and global warming are the greatest harmful consequences of human activity. Indeed, Human technological development and demographic growth has been accompanied by globalization. In this new era, the logistics revolution has removed borders and industrial value chains have been distributed all over the world. It is becoming difficult to attribute responsibilities for ecological impacts accurately, since consumers are not necessarily in the same area as the countries of manufacture or extraction of raw materials. At the same time, a new paradigm called the Internet of Things has come to reshape our relationship to the world. The smallest everyday objects are connected to the Internet and allow acquisition of large amount of data, interact with cyberspace and in some cases act on the real world in an automated way. On the other hand, the last decade has also seen the rise of a new technology for storing transactions data in a reliable and consented way. Blockchain has changed the way operations are made based on the concept of distributed ledger giving a new breath to the economy. They have also dived into companies business by allowing private implementations with permissioned blockhains. The aim of this work is to take advantage of the power of the two technologies combined-the Internet of Things provides
2023 International Conference on Smart Computing and Application (ICSCA), Feb 5, 2023
Today cloud computing is at the heart of all information technologies. This prodigious technologi... more Today cloud computing is at the heart of all information technologies. This prodigious technological paradigm relies on a very simple concept defined as the ability to deliver hardware and software resources as service directly over internet. A set of mechanisms cooperate to maintain the cloud reliability and to allow continuous delivery of these services while guaranteeing the same quality of service (QoS) and respecting the service-level agreement (SLA) for each client. Load balancing is one of those mechanisms and it ensures a crucial service, it can be defined as the ability of the system to ensure fairness in the distribution of workload over all servers. The most recent load balancing techniques are hybrid methods involving in major cases the combination between static and dynamic approaches, in other cases it can go further by integrating other mechanisms in order to improve the overall efficiency of the systems. The performance can be evaluated by parameters which generally ...
Université Abderahmane MIRA de Bejaia, 2019
Solving CSP is in general N P-Complete. However, there are various subsets of CSPs that can be so... more Solving CSP is in general N P-Complete. However, there are various subsets of CSPs that can be solved in polynomial time. Some of them can be identified by analyzing their structure. Unfortunately the proposed methods for exploiting these structural proprieties are not efficient in practice. So exploiting these structural properties for solving CSP∫ is a crucial challenge. In this paper, we propose efficient algorithms which exploit these structural proprieties, for both sequential and parallel resolutions. Some experiments done on academic benchmarks show the efficiciency of our approach.
univ. A/Mira .Bejaia, 2020
Université A / Mira Bejaia, 2020
International Journal of Security and Networks, 2022
The Journal of Supercomputing
Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While t... more Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While there are many kinds of constraints, the table constraint is perhaps the most significant-being the most well-studied and has the ability to encode any other constraints defined on finite variables. However, constraints can be very voluminous and their size can grow exponentially with their arity. To reduce space and the time complexity, researchers have focused on various forms of compression. In this paper we propose a new approach based on maximal frequent itemsets technique and area measure for enumerating the maximal frequent itemsets relevant for compressing table constraints. Our experimental results show the effectiveness and efficiency of this approach on compression and on solving compressed table constraints.
The Journal of Supercomputing
Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While t... more Constraint Programming is a powerful paradigm to model and solve com-binatorial problems. While there are many kinds of constraints, the table constraint is perhaps the most significant-being the most well-studied and has the ability to encode any other constraints defined on finite variables. However, constraints can be very voluminous and their size can grow exponentially with their arity. To reduce space and the time complexity, researchers have focused on various forms of compression. In this paper we propose a new approach based on maximal frequent itemsets technique and area measure for enumerating the maximal frequent itemsets relevant for compressing table constraints. Our experimental results show the effectiveness and efficiency of this approach on compression and on solving compressed table constraints.
ABSTRACT Many approaches exploiting Generalized Hypertree Decom-position are proposed in the lite... more ABSTRACT Many approaches exploiting Generalized Hypertree Decom-position are proposed in the literature for solving extensional Constraint Satisfaction Problems on finite domains. The most recent one, called FC-GHD, combines the merits of an enumerative search algorithm which is memory efficient with those of the Hypertree Decomposition which is time efficient. Although FC-GHD is proved to be efficient, some large instances could remain unresolved because of the memory fault problem. This present article proposes to enhance the FC-GHD method with the notion of compressed table constraints to deal with memory explosion problems.
Neural Computing and Applications