Contract-Based General-Purpose GPU Programming

Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. This paper suggests a programming library, SafeGPU, that aims at striking a balance between programmer productivity and performance, by making GPU data-parallel operations accessible from within a classical object-oriented programming language. The solution is integrated with the design-by-contract approach, which increases confidence in functional program correctness by embedding executable program specifications into the program text. We show that our library leads to modular and maintainable code that is accessible to GPGPU non-experts, while providing performance that is comparable with hand-written CUDA code. Furthermore, runtime contract checking turns out to be feasible, as the contracts can be executed on the GPU

Automatic Closure of Low-Performing Public Charter Schools

The National Alliance advocates for the growth and expansion of high-quality charter schools. While we believe it is important to foster the growth of charter schools achieving great academic results for students, it is equally important to close charter schools that are not improving student outcomes.We are pleased to see that over the past several years, state lawmakers have increasingly enacted legislation, often based on our model law, to better support the growth of high-quality public charter schools -- including strengthening accountability provisions for these innovative public school options. At the same time, a growing number of states have passed laws that require charter schools to close if they do not meet certain performance benchmarks.This week we released a state policy snapshot that provides an overview of automatic closure policies in the 15 states that have such laws, which is an increase of four states since we last released this snapshot in 2014.As state lawmakers consider these policies, they should give serious thought to several issues, including authorizers' track records in closing low-performing public charter schools, the sophistication of their states' accountability systems, and how to handle public charter schools that serve high percentages of at-risk students.We commend policymakers who have acted to enforce the quality of their state's charter school landscape through strong accountability measures. We also strongly encourage lawmakers to work closely with the local public charter school stakeholders who are committed to quality as they investigate this policy issue

Conflict Resolution in E-HRM Environments

There have been studies on conflict resolutions but many focused on regional inter-tribe and international conflicts between or among nations of the world. Only very few have written about industrial conflict recently, even these few did not touch the mechanism of resolving conflicts in the organization in depth. Therefore, this article will focus on various conflict resolution mechanisms and the three major models of conflict resolutions—namely distributive bargaining, integrated bargaining, and interactive problem solving as given by Cross, Susan, Rosenthal, and Robert (1999). To do this effectively, we will explore the available literature on the antecedents of conflicts in human resource systems. Varieties of views and notions held by individuals and groups in respect of the role and the consequences of conflicts in the functioning of humans in our modern complex organizations will be considered. The consequences of conflicts on interpersonal, inter-group, and inter-organizational processes, when conflict may empower, distress, or lubricate the wheels of human interaction in the context of human resource management will be traced. The views of experts, professionals and academicians on how and why conflicts should be handled to ensure a healthier and conducive environment to work will be traced

Estimating commitment in a digital market place environment

The future generation of mobile communication shall be a convergence of mobile telephony and information systems which promises to change people's lives by enabling them to access information when, where and how they want. It presents opportunities to offer multimedia applications and services that meet end-toend service requirements. The Digital Marketplace framework will enable users to have separate contracts for different services on a per call basis. In order for such a framework to function appropriately, there has to be some means for the network operator to know in advance if its network will be able to support the user requirements. This paper discusses the methods by which the network operator will be able to determine if the system will be able to support another user of a certain service class and therefore negotiate parameters like commitment, QoS and the associated cost for providing the service, thus making the Digital Marketplace wor

AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests

The last improvements in programming languages, programming models, and frameworks have focused on abstracting the users from many programming issues. Among others, recent programming frameworks include simpler syntax, automatic memory management and garbage collection, which simplifies code re-usage through library packages, and easily configurable tools for deployment. For instance, Python has risen to the top of the list of the programming languages due to the simplicity of its syntax, while still achieving a good performance even being an interpreted language. Moreover, the community has helped to develop a large number of libraries and modules, tuning them to obtain great performance. However, there is still room for improvement when preventing users from dealing directly with distributed and parallel computing issues. This paper proposes and evaluates AutoParallel, a Python module to automatically find an appropriate task-based parallelization of affine loop nests to execute them in parallel in a distributed computing infrastructure. This parallelization can also include the building of data blocks to increase task granularity in order to achieve a good execution performance. Moreover, AutoParallel is based on sequential programming and only contains a small annotation in the form of a Python decorator so that anyone with little programming skills can scale up an application to hundreds of cores.Comment: Accepted to the 8th Workshop on Python for High-Performance and Scientific Computing (PyHPC 2018

Generating a contract checker for an SLA language

SLAng is a language for expressing Service LevelAgreements (SLAs) under development as part of the Europeanproject TAPAS. It is defined using a meta-model, an instance ofthe Meta-Object Facility (MOF) model, in which the relationshipbetween the syntax of the language and its domain of applicationis explicitly represented, and the violation semantics ofthe language defined using Object Constraint Language (OCL)constraints. The concrete syntax of the language is the XMLMeta-data Interchange (XMI) mapping of the syntactic part ofthe meta-model. In this paper we describe how the Java MetadataInterface (JMI) mapping can be applied to the meta-modelof the language to generate interfaces and classes to create andquery SLAs and relevant service monitoring data in memory;and how an OCL interpreter can be applied to check violationconstraints over this data, resulting in the implementation of acontract checker that is highly likely to respect the semantics ofthe language