29262099
Transaction models for design environments
Abstract Design data bases used in the design of engineering artifacts have characteristics quite different from conventional data bases. While conventional data bases have, at any given time, a single correct value for each of object, design data bases, due to the presence of design alternates or versions, have available several correct versions of design objects. However, during a design process, when several design objects are involved, the different versions of each object chosen for the design has to be controlled such that they are compatible or version consistent. This article formalizes the notion of version consistency and proposes two transaction models for design processes, where the notion of version consistency itself is used as a basis for scheduling design transactions. A mechanism for enforcing version control is also presented.
19086803
Transaction management in design databases
Abstract Conventional data base systems are not suitable for handling advanced applications encountered in engineering, such as CAD/CAM, CASE, CAE, and VLSI design. The data bases in such environments, also called design data bases, are characterized by the presence of many complex data objects denoted by a large number of small tables, as opposed to a few large tables encountered in conventional data bases. The transaction model used in tracking data bases for banking, inventory control, and other such applications use view serializability as the correctness criterion. While view serializability is appropriate for tracking data bases, it is unnecessarily restrictive for engineering data bases. We propose a transaction model that is suitable for accessing shared design data based on coserializability. The transaction model supports long-duration transactions with intermediate commit points. In addition to the conventional nested transaction hierarchy, the model allows for cooperation between nested design transactions needed in a design environment.
8543519
Design and Implementation of National Engineering Education Delivery System
45515179
Distributed real-time nested transactions
Abstract We present the concepts of real-time nested transactions and priority propagation for a distributed transaction processing environment. Real-time nested transactions incorporate the deadline requirements in the hierarchical structure of nested transactions. Priority propagation addresses issues related to transaction aborts in real-time nested transaction processing. The notion of priority ceiling has been used to avoid the priority inversion problem. The proposed protocols exhibit freedom from deadlock and have tightly bounded waiting periods. Both of these properties make them very suitable for distributed real-time transaction processing environments.
1973000
Gateway placement for latency and energy efficient data aggregation [wireless sensor networks]
We propose the use of multiple gateways to significantly reduce latency and energy consumption in multi-hop wireless sensor networks during data aggregation. We have derived efficient integer linear programming formulations as well as a novel negative selection statistically-tuned heuristics. The heuristics are based on newly developed relaxation based lower bounds that are also used to quantify the effectiveness of the proposed heuristics. Our simulation study indicates that the use of gateways can often reduce latency and energy consumption by several times.
14591533
Leveraging broadband access for true on-demand delivery of Internet videos
We consider in this paper how the increasingly popular broadband access can be leveraged for scalable and cost-effective video service. Although much work has been done for such service, the existing techniques either are not designed for on-demand video delivery, or do not take into account the vastly improved client receiving capability. In this paper, we address this problem and develop three novel video delivery techniques with two ultimate goals: minimizing service latency and maximize data sharing. With the new techniques, a client can be served as soon as server resource becomes available and meanwhile, all its receiving bandwidth can be used for data receiving. In particular, in the proposed dynamic scheduling algorithm, the efficiency of data sharing is further improved by also exploring server bandwidth for early delivery of video segments. This innovation is contradicted to the intuition that each video segment should be delivered as late as possible in order to maximize data sharing. We evaluate the performance of our new techniques using simulation and our study convincingly shows that with the new schemes, zero service latency can indeed be achieved with very minimal system resource.
18507162
A statistical methodology for wire-length prediction
In this paper, the classic wire-length estimation problem is addressed and a new statistical wire-length estimation approach that captures the probability distribution function of net lengths after placement and before routing is proposed. These types of models are highly instrumental in formalizing a complete and consistent probabilistic approach to design automation and design closure where, along with optimizing the pertinent cost function, the associated prediction error is also considered. The wire-length prediction model was developed using a combination of parametric and nonparametric statistical techniques. The model predicts not only the length of the net using input parameters extracted from the floorplan of a design, but also probability distributions that a net with given characteristics after placement will have a particular length. The model is validated using the learn-and-test and resubstitution techniques. The model can be used for a variety of purposes, including the generation of a large number of statistically sound, and therefore realistic, instances of designs. The net models were applied to the probabilistic buffer-insertion problem and substantial improvement was obtained in net delay after routing (~ 20%) when compared to a traditional bounding box (BBOX)-based buffer-insertion strategy
2430654
Watermarking graph partitioning solutions
The authors introduce an Intellectual Property Protection (IPP) technique for graph partitioning which watermarks solutions to the graph partitioning problems so that they carry an author's signature. This technique is completely transparent to the actual computer-aided design tool which does the partitioning and is implemented by preprocessing and postprocessing alone. The authors propose five different schemes for the watermarking of partitioning solutions. The goal is to construct a partitioning solution which not only has a small edge cut, but also encodes the signature of the author. The key idea of all of our schemes is to map the signature into a set of constraints and then satisfy a disproportionate number of these constraints. Four of our schemes are based upon the idea of encouraging groups of vertices to be in the same partition. The fifth is based upon the encouragement of certain edges to be cut by the partitioning. The fifth scheme shows superior performances on all of the cases which we tested, including both two-way and multiway partitioning. The watermarking scheme produces solutions that have very low-quality degradation levels, yet carry signatures that are convincingly unambiguous, extremely unlikely to be present by coincidence and difficult to detect or remove without completely resolving the partitioning problem.
8573370
Core selection with end-to-end QoS support
Core-based routing with Quality of Service (QoS) support is essential to facilitate multi-sender multimedia multicast applications such as video conferencing and virtual collaboration applications. In this paper, we introduce (i) a new application-level service class framework that allows group members to easily indicate their desired service quality and (ii) the use of as many cores per group as necessary in corebased routing to maximize the number of group members with satisfied QoS requirements. Under the service class framework, we formulate the novel core selection problem that selects as many cores as necessary while maximizing the number of satisfied group members. We propose a new core selection algorithm to address the problem and provide a complete core selection protocol using the algorithm. Experimental results show that our core selection algorithm performs as well as the optimal algorithm and significantly outperforms a recent core selection algorithm with QoS support using a single core.