With the increase of location-based services, Web contents are being geo-tagged, and spatial keyword queries that retrieve objects satisfying both spatial and keyword conditions are gaining in prevalence. Unfortunatel...
详细信息
SUMMARY In this paper, we propose three Deflection-Routing-based Multicast (DRM) schemes for a bufferless NoC. The DRM scheme without packets replication (DRM-noPR) sends multicast packet through a non deterministic p...
详细信息
Cyber-Physical Systems (CPS) involve deep interactions between computation cores, communication networks, and physical environments. These systems are inherently complex and highly nondeterministic. This makes the tra...
详细信息
ISBN:
(纸本)9781457721205
Cyber-Physical Systems (CPS) involve deep interactions between computation cores, communication networks, and physical environments. These systems are inherently complex and highly nondeterministic. This makes the traditional formal verification technology impractical to verify the complete system behavior, and testing alone is insufficient to guarantee correctness. Runtime monitoring, known as a lightweight verification technique, provides a practical way to monitor and verify such systems at runtime. In this paper, we present a case study for runtime monitoring of the Cooperative Adaptive Cruise Control systems (CACC) in automobile CPS systems. We build a hybrid automatonbased model for the CACC system using the CHARON modeling language and construct an event-based runtime monitoring framework. The synthesized monitor observes the running of CACC and checks whether it works correctly against the temporal logic safety specification. Experimental results obtained through this case study provide evidence for the efficacy of runtime monitoring of CPS systems.
OONS is a new Object Oriented Neural Simulator. The goal creating it is making the construction of neural model as quickly and easily as possible for the users, and can run in shorter time than other simulators. OONS ...
详细信息
Network virtualization is recognized as an effective way to overcome the ossification of the Internet. However, the virtual network mapping problem (VNMP) is a critical challenge, focusing on how to map the virtual ne...
详细信息
Network virtualization is recognized as an effective way to overcome the ossification of the Internet. However, the virtual network mapping problem (VNMP) is a critical challenge, focusing on how to map the virtual networks to the substrate network with efficient utilization of infrastructure resources. The problem can be divided into two phases: node mapping phase and link mapping phase. In the node mapping phase, the existing algorithms usually map those virtual nodes with a complete greedy strategy, without considering the topology among these virtual nodes, resulting in too long substrate paths (with multiple hops). Addressing this problem, we propose a topology awareness mapping algorithm, which considers the topology among these virtual nodes. In the link mapping phase, the new algorithm adopts the k-shortest path algorithm. Simulation results show that the new algorithm greatly increases the long-term average revenue, the acceptance ratio, and the long-term revenue-to-cost ratio (R/C).
Gene expression microarray enables us to measure the gene expression levels for thousands of genes at the same time. Here, we constructed the non-negative matrix factorization analysis strategy (NMFAS) to dig the unde...
详细信息
In recent WLAN standards (such as IEEE 802.11n), MIMO (Multiple Input Multiple Output) is deployed to provide high data transmission rate. It is however challenging to efficiently share the channel resources among dif...
详细信息
By amassing 'wisdom of the crowd', social tagging systems draw more and more academic attention in interpreting Internet folk knowledge. In order to uncover their hidden semantics, several researches have atte...
详细信息
As the energy consumption of embedded multiprocessor systems becomes increasingly prominent, it becomes an urgent problem of real-time energy-efficient scheduling in multiprocessor systems to reduce system energy cons...
详细信息
Investor is a novel speculation scheme that targets at the open Internet. It makes use of standard HTTP and speculation by convention to fit into this environment. Investor is a runtime technique that doesn't modi...
详细信息
Investor is a novel speculation scheme that targets at the open Internet. It makes use of standard HTTP and speculation by convention to fit into this environment. Investor is a runtime technique that doesn't modify the languages, compilers or binary formats of the applications, so it is compatible well with existing programs or libraries. Investor can overcome some form of control dependency and data dependency. Preliminary experiments show that Investor can significantly improve the overall performance of the applications.
暂无评论