GiViP: A Visual Profiler for Distributed Graph Processing Systems

Analyzing large-scale graphs provides valuable insights in different application scenarios. While many graph processing systems working on top of distributed infrastructures have been proposed to deal with big graphs, the tasks of profiling and debugging their massive computations remain time consuming and error-prone. This paper presents GiViP, a visual profiler for distributed graph processing systems based on a Pregel-like computation model. GiViP captures the huge amount of messages exchanged throughout a computation and provides an interactive user interface for the visual analysis of the collected data. We show how to take advantage of GiViP to detect anomalies related to the computation and to the infrastructure, such as slow computing units and anomalous message patterns.Comment: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

Exploration of the scalability of LocFaults approach for error localization with While-loops programs

A model checker can produce a trace of counterexample, for an erroneous program, which is often long and difficult to understand. In general, the part about the loops is the largest among the instructions in this trace. This makes the location of errors in loops critical, to analyze errors in the overall program. In this paper, we explore the scala-bility capabilities of LocFaults, our error localization approach exploiting paths of CFG(Control Flow Graph) from a counterexample to calculate the MCDs (Minimal Correction Deviations), and MCSs (Minimal Correction Subsets) from each found MCD. We present the times of our approach on programs with While-loops unfolded b times, and a number of deviated conditions ranging from 0 to n. Our preliminary results show that the times of our approach, constraint-based and flow-driven, are better compared to BugAssist which is based on SAT and transforms the entire program to a Boolean formula, and further the information provided by LocFaults is more expressive for the user

ERP implementation for an administrative agency as a corporative frontend and an e-commerce smartphone app

This document contains all the descriptions, arguments and demonstrations of the researches, analysis, reasoning, designs and tasks performed to achieve the requirement to technologically evolve an managing agency in a way that, through a solution that requires a reduced investment, makes possible to arrange a business management tool with e-commerce and also a mobile application that allows access and consultation of mentioned tool. The first part of the document describes the scenario in order to contextualize the project and introduces ERP (Enterprise Resources Planning). In the second part, a deep research of ERP market products is carried out, identifying the strengths and weaknesses of each one of the products in order to finish with the choice of the most suitable product for the scenario proposed in the project. A third part of the document describes the installation process of the selected product carried out based on the use of Dockers, as well as the configurations and customizations that they make on the selected ERP. A description of the installation and configuration of additional modules is also made, necessary to achieve the agreed scope of the project. In a fourth part of the thesis, the process of creating an iOS and Android App that connects to the selected ERP database is described. The process begins with the design of the App. Once designed, it is explained the process of study and documentation of technologies to choose the technology stack that allows making an application robust and contemporary without use of licensing. After choosing the technologies to use there are explained the dependencies and needs to install runtime enviornments prior to the start of coding. Later, it describes how the code of the App has been raised and developed. The compilation and verification mechanisms are indicated in continuation. And finally, it is showed the result of the development of the App once distributed. Finally, a chapter for the conclusions analyzes the difficulties encountered during the project and the achievements, analyzing what has been learned during the development of this project

Reconfigurable phased microstrip antenna array with defected ground structure and defected microstrip structure for beam steering application

Beam steering is defined as the ability to electronically steer the beam maximum of an antenna electric field pattern to some predefined point in space. The performance of a phased antenna array for beam steering without moving the antennas is important to military and civil applications. A steerable antenna with tunable phase shifter continues to be a popular choice to provide such systems. However, this additional device makes the structure more complicated, bulky and it represent a great part of the production cost of a phased array antenna. Therefore, it creates new challenges to find an alternative approach. This work proposed two alternative approaches to steer the main beam. The first is based on a defected ground structure (DGS), while the second is a defected microstrip structure (DMS), which due to their slow wave effect and band-stop property, are able to disturb surface current distribution, then change the element phase and hence steer the main beam. This work started with investigating and applying new method for beam steering based on using DGS and DMS, where this reflects the first objective. As a second objective, this work proposed new approach for beam steering, where DGS is integrated between two patches for the bandwidth within X-band. The simulated results revealed the achievement of the target to steer the main beam to 50° along H-plane. For the third objective, a spiral antenna array (SAA) has been proposed, and it was observed that the best choice for selecting feed network for feeding circular antenna array is a common sequential feed network (SFN), which has a circular shape with four ports to feed four elements. In order to increase the number of ports and hence design suitable feed network for feeding SAA, this study proposed new spiral sequential feed network (SSFN). As a dual structure of DGS, and compared with DGS, DMS is of great advantage in design due to its reduced size and the feature of electromagnetic interference noise immunity. Furthermore, DMS has higher effective inductance compared to DGS. Therefore, this work proposed new reconfigurable SAA with DMS fed by SSFN within C-band. The simulated results showed the achievement of the target to steer the main beam to 61° and 84° along E-plane and H-plane, respectively. Furthermore, as the last objective, a new approach was proposed for extracting equivalent circuit model for DGS with dual patches, SSFN and SAA. Two prototypes of dual patches with and without DGS, SSFN and two prototypes of SAA with DMS were fabricated for scattering parameter and far-field radiation pattern measurements. The results showed close agreement with the predicted results, where array with DGS confirmed a beam steering of 36° along H-plane, while SAA with DMS displayed 45° beam steering along E-plane, respectively. Future works will focus on increasing the array gain and reducing the array beam width which will give a clear vision for beam steering of array

A gentle transition from Java programming to Web Services using XML-RPC

Exposing students to leading edge vocational areas of relevance such as Web Services can be difficult. We show a lightweight approach by embedding a key component of Web Services within a Level 3 BSc module in Distributed Computing. We present a ready to use collection of lecture slides and student activities based on XML-RPC. In addition we show that this material addresses the central topics in the context of web services as identified by Draganova (2003)

Towards alignment of architectural domains in security policy specifications

Large organizations need to align the security architecture across three different domains: access control, network layout and physical infrastructure. Security policy specification formalisms are usually dedicated to only one or two of these domains. Consequently, more than one policy has to be maintained, leading to alignment problems. Approaches from the area of model-driven security enable creating graphical models that span all three domains, but these models do not scale well in real-world scenarios with hundreds of applications and thousands of user roles. In this paper, we demonstrate the feasibility of aligning all three domains in a single enforceable security policy expressed in a Prolog-based formalism by using the Law Governed Interaction (LGI) framework. Our approach alleviates the limitations of policy formalisms that are domain-specific while helping to reach scalability by automatic enforcement provided by LGI