This paper applies a formalization of the use of UML to the VPN service management system. An approach that supports a use case-driven, step-wised and incremental development in building models for the VPN service man...
详细信息
ISBN:
(纸本)9780769530499
This paper applies a formalization of the use of UML to the VPN service management system. An approach that supports a use case-driven, step-wised and incremental development in building models for the VPN service management system is studied in detail. The actual process of building the models shows the importance and feasibility of the formalization itself
Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. T...
详细信息
ISBN:
(纸本)9780769530499
Formal specification are indispensable for computer-aided verification and testing of communication protocols. However, a large number of the practical protocols have only informal specifications, mostly in English. There are no general procedures to derive formal specifications from such informal specification. In this paper we model Session Initiation Protocol (SIP) by parameterized extended finite state machines. We also provide insights gained in the derivation of the formal specification.
With the increasing popularity of shared-memory programming model, especially at the advent of multicore processors, applications need to become more concurrent to take advantage of the increased computational power p...
详细信息
Large-scale distributed systems, with thousands or even millions of nodes, produce complex and dynamic behaviors. Packet-level simulation is necessary to test and analyze these systems, such as grids, peer-to-peer (P2...
详细信息
distributed virtual environments tend to become a de facto solution for large-scale networked virtual environments. One of the key issues and problems that need to be handled in the design of a scalable and effective ...
详细信息
ISBN:
(纸本)9780769530499
distributed virtual environments tend to become a de facto solution for large-scale networked virtual environments. One of the key issues and problems that need to be handled in the design of a scalable and effective distributed virtual environment system is the partitioning problem, which refers to the efficient assignment of the system's workload to the available resources of the system. This paper presents an object driven partitioning approach based on the partitioning algorithm of Lui & Chan, who proposed a three step technique for balancing the workload among the servers of the distributed Virtual Environment.
In this paper we give a parallel algorithm for the longest increasing subsequence problem on a LARPBS, one of the recently proposed parallel model based on optical bus. For a sequence of n integers, we solve the longe...
详细信息
ISBN:
(纸本)9780769530499
In this paper we give a parallel algorithm for the longest increasing subsequence problem on a LARPBS, one of the recently proposed parallel model based on optical bus. For a sequence of n integers, we solve the longest increasing subsequence problem in O(k) time using n processors where k is the length of the solution. Then, we give an algorithm for the maximal layers problem that runs in O(k+log(n)) time for a set of n points where k is the number of layers on a n-processor array. To our knowledge, this is the fastest algorithm for that problem.
The talk will address some of the key algorithmic and computational challenges associated with the modelling of certain classes of biological networks (e.g. biochemical, signalling). This will involve several research...
详细信息
The Chip Multiprocessor (CMP) architecture offers parallel multi-thread execution and fast retrieval of shared data that is cached on-chip. In order to obtain the best possible performance with the CMP architecture, t...
详细信息
This paper presents an analytical comparison of parallel join algorithms in a generalized multiprocessor framework and a simplified, heterogenous Grid Environment. We develop a concise but comprehensive analytical mod...
详细信息
ISBN:
(纸本)9780769530499
This paper presents an analytical comparison of parallel join algorithms in a generalized multiprocessor framework and a simplified, heterogenous Grid Environment. We develop a concise but comprehensive analytical model for the well-known Hash Join algorithm and compare it to Nested-Loop and Sort-Merge Join algorithms. We concentrate on a limited number of characteristic parameters to keep the analytical model clear and focused. We justify that a meaningful model can be built upon only three characteristic parameter sets, describing node processing performance, the I/O and the disk bandwidth, which are the parameters for the optimization the Grid workflow by a smart brokerage mechanism. Based on these results the paper proves that by a smart enhancement of the algorithms exploiting the specifics of the Grid the known performance results for a homogenous multi-processor architecture are to be revised for a heterogenous Grid environment.
暂无评论