Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The paper proposes a new approach to model checking Chandy-Lamport Distributed Snapshot Algorithm (CLDSA). The essential of the approach is that CLDSA is specified as a meta-program in Maude such that the meta-program takes a specification of an underlying distributed system (UDS) and generates the specification of the UDS on which CLDSA is superimposed (UDS-CLDSA). To model check that a UDS-CLDSA...
Shared Risk Link Group (SRLG) is a failure the network is prepared for, which contains a set of links subject to a common risk of single failure. During planning a backbone network, the list of SRLGs must be defined very carefully, because leaving out one likely failure event will significantly degrade the observed reliability of the network. Regional failures are manifested at multiple locations...
In Wyner wiretap II model of communication, Alice and Bob are connected by a channel that can be eavesdropped by an adversary with unlimited computation who can select a fraction of communication to view, and the goal is to provide perfect information theoretic security. Information theoretic security is increasingly important because of the threat of quantum computers that can effectively break algorithms...
The recent proliferation of increasingly capable mobile devices has given rise to mobile crowd sensing (MCS) systems that outsource the collection of sensory data to a crowd of participating workers that carry various mobile devices. Aware of the paramount importance of effectively incentivizing participation in such systems, the research community has proposed a wide variety of incentive mechanisms...
Wireless Power Transfer (WPT) technology has witnessed huge development because of its convenience and reliability. This paper concerns the fundamental issue of wireless charger PLacement with Optimized charging uTility (PLOT), that is, given a fixed number of chargers and a set of points on the plane, determining the positions and orientations of chargers such that the overall expected charging utility...
In this paper, we address the fundamental problem of improving the performance of many-to-one and many-to-many communications. Our approach is Time Division Multiple Access (TDMA) based but addresses the limitations of existing TDMA implementations in a novel way. In a nutshell, we combine packets from many senders into a single large packet transmission by exploiting capture effect achieved through...
A system to control the data flow between detector sensors input streams for the data connected with a single event is elaborated. Obtained results show that a High Performance Computing cluster data exchange can be efficient AND fault-tolerant.
With the advances of control and vehicular communication technologies, a group of connected and autonomous (CA) vehicles can drive cooperatively to form a so-called cooperative driving pattern, which has been verified to significantly improve road safety, traffic efficiency and the environmental sustainability. A more general scenario that various types of cooperative driving, such as vehicle platooning...
The Smart Grid (SG) initiative introduces a two-way communication between utility companies and the consumers thanks to Advanced Metering Infrastructure (AMI) networks. One of the most crucial components that constitute an AMI network is smart meters (SMs). SMs execute some programs called firmware to rule the hardware. The firmware occasionally needs to be updated to fix bugs and improve the services...
Distributed Storage Systems (DSS) have seen increasing levels of deployment in data centers and in cloud storage provider networks. They provide efficient and cost-effective ways to store large amounts of data and ensure resilience to failures by using mirroring and coding schemes at the block and file level. While mirroring techniques provide an efficient way to recover lost data, they require excess...
Large cloud service providers often replicate data to multiple geographically distributed datacenters for availability and service quality purposes. The enormous amount of data needed to be shuffled among datacenters call for efficient schemes to maximally exploit the capacity of the inter-datacenter networks. In this paper, we propose Calantha, a new rate allocation scheme that improves the reliability...
For the first time, an integrated thermal characterization scheme that generates a full two-dimensional temperature map of GaN lateral devices has been developed. Through calibration and integration of micro-Raman thermometry, thermoreflectance thermal imaging, and infrared thermography, the accuracy of these techniques has been demonstrated to significantly improve, in addition to the complete thermal...
This study describes the interfacial thermal performance of low melting temperature alloys (LMAs) for the application as thermal interface materials (TIMs). The thermal performance of LMAs evaluated in terms of accelerated life cycle testing, which included highly accelerated stress testing (HAST) at 85oC and 85%RH and thermal cycling from −40°C to +125°C. Three lead and cadmium free low melting alloys...
The article deals with optimizing the structure of a radio-electronic system at its early stages of design on the basis of heterogeneous quality criteria and parameters determined by their alteration ranges. Drawing the complex vector of quality criteria allows to obtain the technique of multicriteria selection of the variant of a complex radio-electronic system on the basis of the set of possible...
Two-channel tunable white lighting (TWL) systems represent the next wave of solid-state lighting (SSL) systems and promise flexibility in light environment while maintaining the high reliability and luminous efficacy expected with SSL devices. TWL systems utilize LED assemblies consisting of two different LED spectra (i.e., often a warm white assembly and a cool white assembly) that are integrated...
This paper presents thermal-shock cycle (TS) reliability data for various QFN packaging on ENIG PCB surface finish with tin-lead and lead-free solder joints. The TS ranges were within the IPC9701 specification: TC4; −55°C to +125°C and TC5, −55°C to +100°C. Two facilities were used for testing. The first facility simply performed TC5, TS, to determine the effect cycling alone whereas the second facility...
This study was conducted to identify the relationship among some intrapersonal factors such as professional competency, interdisplinary ability, social skills capability, and team cohesion. The validated questionnaire was delivered to 296 students in the design programs of universities as research samples. Consequently, the SPSS 18.0 and AMOS statistic software were used to analyze the collected data...
Copper (Cu) wire bonding, which is a newer alternative to Gold (Au) wire bonding, gets affected greatly by the variety of operating conditions. Selection of different materials, such as epoxy molding compound (EMC) used in the molding process plays key role in defining lifetime for wirebond system. Higher ionic contamination adversely affects the reliability of Cu wirebonds. Interaction of the EMCs...
Small form factor of the latest electronics has significantly increased the current densities in the interconnects. Under high temperature operating conditions, these interconnects fail prematurely due to electromigration phenomenon as well as Joule heating. Electromigration (EM) is a mass transport of a material due to the momentum transfer between conducting electrons and atoms. High current densities...
Self-heating in AlGaN/GaN high electron mobility transistors (HEMT) degrades device performance and reliability. Under nominal operating conditions, a so-called hot spot develops near the drain-side edge of the gate. The magnitude of the peak temperature at this local hot spot directly impacts device lifetime. Especially, such self-heating effects are aggravated in AlGaN/GaN HEMTs employing low cost...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.