The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Energy harvesting has been gaining a lot of attention in the past decade due to its ability to provide a-virtually-endless energy supply. Nodes in a Wireless Powered Communication Network (WPCN) depend, totally or partially, on the energy harvested from the Central Node (CN) which has a constant power supply. This work addresses a solution to the problem of lack of fairness in the distribution of...
Due to the tremendous and rapid growth of data traffic (e.g. video content), femtocaching has been introduced in 5G networks to bring the data closer to the clients using small, low-power cellular base stations with storage capacity called femtocaches (FCs), hence offloading some traffic off the macrocell base station (MBS). The process of content delivery can efficiently benefit from FCs by optimizing...
Intensive research effort has been dedicated to tackle multi-hop network problems. Joint consideration across multiple layers is required to achieve optimal performance. The general trend in solving these problems is to develop strong mathematical programming formulations that are capable of providing near-optimal solutions to practical-sized problems. For the class of problems studied, we show that...
Dynamic Spectrum access (DSA) is a promising solution to solve the spectrum scarcity problem by allowing unlicensed user (a.k.a Secondary User (SU)) to access the licensed spectrum in a way that does not harm the spectrum owner (a.k.a Primary User (PU)). The SU's performance can be further enhanced by utilizing cooperative transmission via an intermediate relay instead of using direct transmission...
In this work, we propose CSCR, a channel selection scheme for cooperation-based routing protocols in cognitive radio networks. The proposed scheme increases the spectrum utilization through integrating the channels selection in the route discovery phase of the cooperation-based routing protocols. The best channels, that are less congested with primary users and that lead to minimum switching overhead,...
Regression testing is the way to ensure the current version of the program is up and running. Continuous testing throughout the development cycle leads to detecting bugs as early as possible; however, it imposes huge overhead if the entire test suite has to be run. In this paper, powered by the goal of early detection of bugs, a regression test selection technique is proposed. The proposed technique...
In this paper, we present a new carpooling recommendation system whose main objective is to find the best carpool matchings and recommend individuals to join their friends during trips or travels. The proposed recommendation system utilizes user's mobility history and user social network information to find carpool matchings. The proposed system employs a probabilistic model based on continuous time...
In cognitive radio networks, cognitive users are allowed to use the licensed portions of spectrum, as long as no harmful interference affects the primary (licensed) users. Towards achieving this goal, spectrum sensing is an essential process to determine spectrum access opportunities for the cognitive users. In wide spectrum applications, it is recommended to distribute the sensing task of the required...
Communication and networking research introduces new protocols and standards with an increasing number of researchers relying on real experiments rather than simulations to evaluate the performance of their new protocols. A number of testbeds are currently available for this purpose and a growing number of users are requesting access to those testbeds. This motivates the need for better utilization...
Eco-routing is a technique proposed to optimize the fuel consumption in transportation networks. User feedback is used to compute the route's fuel consumption level for other vehicles to build their minimum path routes. When a vehicle traverses a road link, it reports its fuel consumption on this link to a Traffic Management Center (TMC), which updates the vehicles routing information and then vehicles...
Dynamic power consumption is a critical concern in the design of both high performance and low-power circuits. Clock-gating is one of the most efficient and prominent approaches to reduce dynamic power. In this paper, (1) we propose the first scalable SAT-based approaches for Observability Dont Care (ODC) based clock gating; (2) we intelligently choose those inductive invariants candidates such that...
In cognitive radio networks, dynamic spectrum access allows an unlicensed (secondary) user to use the frequency bands that are statically allocated to licensed (primary) users under condition of causing no harm to the primary transmission. For the process of the dynamic spectrum access to succeed, spectrum sensing becomes of great importance for the secondary user (SU) to capture the under-utilized...
In this paper, PNCR, a routing framework based on Physical Network Coding is proposed. PNCR enables shared utilization of the channel during the broadcast and multiple access phases of transmissions. These additional transmission opportunities can be observed as performance gains in terms of less packet delays and better network throughput. In this paper, we discuss the details of our proposed framework...
Cognitive radio (CR) technology is introduced to solve the problem of spectrum under-utilization in wireless networks by opportunistically exploiting portions of the spectrum temporarily vacated by licensed primary users. Devices with cognitive capabilities can be networked to create cognitive radio ad hoc networks (CRAHNs) that face many challenges in different layers due to the flexibility in the...
Achieving timing-closure has become one of the hardest tasks in logic synthesis due to the required stringent timing constraints in very large circuit designs. In this paper, we propose a novel synthesis paradigm to achieve timing-closure called Timing-Aware CUt Enumeration (TACUE). In TACUE, optimization is conducted through three aspects: (1) a new divide-and-conquer strategy is proposed that generates...
The effectiveness of SAT-based Bounded Model Checking (BMC) critically relies on the deductive power of the BMC instance. Although implication relationships have been used to help SAT solver to make more deductions, frequently an excessive number of implications has been used. Too many such implications can result in a large number of clauses that could potentially degrade the underlying SAT solver...
Current routing protocols for cognitive radio networks are severely affected by the frequent activity of primary users. Nodes that are in the interference range of an appearing primary user are not allowed to transmit, and therefore existing routes which utilize such nodes are obliged to undergo a route maintenance phase. This naturally provides other routes to the destination that may incur extra...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.