23 research outputs found
Design and Performance analysis of a relational replicated database systems
The hardware organization and software structure of a new database system are presented. This system, the relational replicated database system (RRDS), is based on a set of replicated processors operating on a partitioned database. Performance improvements and capacity growth can be obtained by adding more processors to the configuration. Based on designing goals a set of hardware and software design questions were developed. The system then evolved according to a five-phase process, based on simulation and analysis, which addressed and resolved the design questions. Strategies and algorithms were developed for data access, data placement, and directory management for the hardware organization. A predictive performance analysis was conducted to determine the extent to which original design goals were satisfied. The predictive performance results, along with an analytical comparison with three other relational multi-backend systems, provided information about the strengths and weaknesses of our design as well as a basis for future research
Packet scheduling strategies for emerging service models in the internet
Traditional as well as emerging new Internet applications such as video-conferencing and live multimedia broadcasts from Internet TV stations will rely on scheduling algorithms in switches and routers to meet a diversity of service requirements desired from the network. This dissertation focuses on four categories of service requirements that cover the vast majority of current as well as emerging new applications: best-effort service, guaranteed service (delay and bandwidth), controlled load service, and soft real-time service. For each of these service types, we develop novel packet scheduling strategies that achieve better performance and better fairness than existing strategies.Best-effort and guaranteed services: A fair packet scheduler designed for best- effort service can also be employed to achieve bandwidth and delay guarantees. This dissertation proposes a novel fair scheduling algorithm, called Greedy Fair Queueing (GrFQ),that explicitly incorporates the goal of achieving better fairness into the actions of the scheduler. A simplified version of the scheduler is also proposed for easier deployment in real networks. Controlled load service: This dissertation analyzes and defines requirements on packet schedulers serving traffic that request the controlled load service (part of the Integrated Services architecture). We then propose a novel scheduler, called the CL(®) scheduler, which provides service differentiation for aggregated traffic for controlled load service. The proposed scheduler satisfies the defined requirements with a very low processing complexity and without requiring per-flow management. Soft real-time service: We formally define the service requirements of soft real-time applications which have delay constraints but which can tolerate some packet losses. Two novel schedulers of different levels of complexity are proposed. These schedulers achieve better performance (lower overall loss rates) and better fairness than previously known schedulers.We adapt a metric used widely in economics, called the Gini index, to our purpose of evaluating the fairness achieved by our schedulers under real traffic conditions. The Gini index captures the instantaneous fairness achieved at most instants of time as opposed to previously used measures of fairness in the networking literature. Using real video, audio and gateway traffic traces, we show that the proposed schedulers achieve better performance and fairness characteristics than other known schedulers.Ph.D., Electrical Engineering -- Drexel University, 200
Verification of Concurrent Systems : optimality, Scalability and Applicability
Tesis inĂ©dita de la Universidad Complutense de Madrid, Facultad de Informática, leĂda el 14-10-2020Tanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combinatoria en el numero de estados del programa que deben ser considerados, lo que frecuentemente lleva a un problema computacionalmente intratable. El objetivo de esta tesis es el desarrollo de tecnicas novedosas para el testing y la verificacion de programas concurrentes que permitan reducir esta explosion combinatoria...Both verification and testing of concurrent systems require exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal an erroneous behavior of the system. This introduces a combinatorial explosion on the number of program states that must be considered, what leads often to a computationally intractable problem. The overall goal of this thesis is to investigate novel techniques for testing and verification of concurrent programs that reduce this combinatorial explosion...Fac. de InformáticaTRUEunpu
Recommended from our members
ReSCon '12, Research Student Conference: Book of Abstracts
The fifth SED Research Student Conference (ReSCon2012) was hosted over three days, 18-20 June 2012, in the Hamilton Centre at Brunel University. The conference consisted of 130 oral and 70 poster presentations, based on the high quality and diverse research being conducted within the School of Engineering and Design by postgraduate research students. The conference is held annually, and ReSCon plays a key role in contributing to research and innovations within the School
Air Traffic Management Abbreviation Compendium
As in all fields of work, an unmanageable number of abbreviations are used today in aviation for terms, definitions, commands, standards and technical descriptions. This applies in general to the areas of aeronautical communication, navigation and surveillance, cockpit and air traffic control working positions, passenger and cargo transport, and all other areas of flight planning, organization and guidance. In addition, many abbreviations are used more than once or have different meanings in different languages.
In order to obtain an overview of the most common abbreviations used in air traffic management, organizations like EUROCONTROL, FAA, DWD and DLR have published lists of abbreviations in the past, which have also been enclosed in this document. In addition, abbreviations from some larger international projects related to aviation have been included to provide users with a directory as complete as possible. This means that the second edition of the Air Traffic Management Abbreviation Compendium includes now around 16,500 abbreviations and acronyms from the field of aviation
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009
This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop0
An investigation of various computational techniques in optical fringe analysis.
Fringe projection is an optical technique for three dimensional non-contact measurement of height distributions. A fringe pattern is projected onto an object's surface and, when viewed off-axis, it deforms to follow the shape of the object. The deformed fringe pattern is analysed to obtain its phase, information that is directly related to the height distribution of the surface by a proportionality constant.
This thesis analyses some key problems in fringe projection analysis. Special attention is focused on the automatisation of the process with Fourier Fringe Analysis (FFA). Unwrapping, or elimination of 21t discontinuities in a phase map, is treated in detail. Two novel unwrapping techniques are proposed, analysed and demonstrated. A new method to reduce the number of wraps in the resulting phase distribution is developed.
A number of problems related to FFA are discussed, and new techniques are presented for their resolution. In particular, a technique with better noise isolation is developed and a method to analyse non-fullfield images based on function mapping is suggested.
The use of parallel computation in the context of fringe analysis is considered. The parallelisation of cellular automata in distributed memory machines is discussed and analysed. A comparison between occam 2 and HPF, two compilers based upon a very different philosophy, is given.
A case study with implementations in occam 2 and high performance FORTRAN (HPF) is presented. The advantages and disadvantages of each solution are critically assessed