Hybrid optical networks (HONs) are the combination of different switching mechanisms such as Optical Circuit Switching (OCS), Optical Burst Switching (OBS) and Optical Packet Switching (OPS). The basic idea behind HON...
详细信息
作者：
Abu-Nimeh, Faisal T.Salem, Fathi M.Circuits
Systems and Neural Networks Lab Dept. of Electrical and Computer Engineering Michigan State University East Lansing United States
Electromagnetic arrays can be precisely constructed on silicon CMOS technology as a platform for collective non-contact sensing and manipulation of magnetic or magnetized particles of micron to nano scale. Such platfo...
详细信息
作者：
Abu-Nimeh, Faisal T.Salem, Fathi M.Circuits
Systems and Neural Networks Lab Dept. of Electircal and Computer Engineering Michigan State University East Lansing United States
Magnetic manipulation for molecular-level interrogation and diagnosis are emerging as lab-on-chip platforms. These platforms necessitate low-cost, low-power, portable, and high efficiency integrated implementations. W...
详细信息
Recently, network coding has been applied to the loss recovery of reliable broadcast transmission in wireless networks. Since it was proved that fi nding the optimal set of lost packets for XOR-ing is a complex NP-com...
详细信息
Recently, network coding has been applied to the loss recovery of reliable broadcast transmission in wireless networks. Since it was proved that fi nding the optimal set of lost packets for XOR-ing is a complex NP-complete problem, the available time-based retransmission scheme and its enhanced retransmission scheme have exponential computational complexity and thus are not scalable to large networks. In this paper, we present an efficient heuristic scheme based on hypergraph coloring and also its enhanced heuristic scheme to improve the transmission efficiency. Basically, our proposed schemes fi rst create a hypergraph according to the packet-loss matrix. Then our schemes solve the problem of generating XORed packets by coloring the edges of hypergraph. Extensive simulation results demonstrate that, the heuristic scheme based on hypergraph coloring and its enhanced scheme can achieve almost the same transmission efficiency as the available ones, but have much lower computational complexity, which is very important for the wireless devices without high computation capacity.
Packet scheduling is an essential element of any QoS enabled packet-switched network. (QoS provisioning and packet scheduling play important roles in present and future Internet applications.) In terms of packet fair ...
详细信息
Embedded control systems in automobiles are typically implemented by a set of tasks deployed on multiple Electronic Control Units (ECUs) communicating via one or more buses like CAN or FlexRay. In the case of safety-c...
详细信息
ISBN:
(纸本)9781605589046
Embedded control systems in automobiles are typically implemented by a set of tasks deployed on multiple Electronic Control Units (ECUs) communicating via one or more buses like CAN or FlexRay. In the case of safety-critical systems, there are hard real-time bounds on the (i) response times of tasks/messages, and (ii) end-to-end latencies of certain task/message chains. These depend on various factors like the number of tasks (and messages) involved in the processing (and communication) sequence, parameters of these tasks/messages, scheduling policies, communication protocols, clock drifts, etc. Moreover, since the data transfer among tasks/messages is typically via asynchronous buffers that are overwritable and sticky, multiple semantics are possible for end-to-end latency. Hence, precise estimation of response times and end-to-end latencies in embedded systems is a non-trivial problem. In this paper, we propose a model-checking based technique to compute worst-case response times and end-to-end latencies. We consider a distributed system made of preemptively scheduled tasks and non-preemptively scheduled messages. Given a chain in the system, we estimate two different end-to-end latencies -LIFO and LILO- which are important in automotive domain. From a system description, we automatically synthesize a formal model based on a discrete event simulation formalism called Calendar Automata. It is then model-checked to compute response times and end-to-end latencies. Our technique is more scalable than the existing formal methods based techniques. We have illustrated this technique on reasonably large case-studies from the automotive domain.
In this paper, a new effective and reliable objective video evaluation model is proposed based on fuzzy synthetic judgment. Firstly, the essential design of the model is described systemically. Then the fuzzy membersh...
详细信息
The increasing demand of various networking applications such as Internet, voice, data, video and TV services inside large cities with large population requires the design and implementation of more effective metropol...
详细信息
The need for survivability in optical networks is becoming more and more important because of the huge amount of aggregated traffic that is carried in an optical network. A number of protection schemes have been propo...
详细信息
In order to solve the problems in wireless sensor networks, such as node failure and losing of master key, a secure communication model based on secret sharing in wireless sensor networks is presented in this paper. I...
详细信息
暂无评论