We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland-Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence.

Large volumes of online business news provide an opportunity to explore various aspects of companies. A news story pertaining to a company often cites other companies. Using such company citations we construct an intercompany network, employ social network analysis techniques to identify a set of attributes from the network structure, and feed the attributes to machine learning methods to predi...

Synchronization based on semaphores, monitors, or atomic actions is in general not visible through object types. Often we use unnecessary or even conflicting synchronization in clients and servers because of missing information. Process types – a kind of behavioral types – solve this problem so far only partially: Types specify synchronization required from clients, but they hide the servers’ s...

This memo describes the functions in the synchronization library provided for programs written for ASIM and acts as a user's manual. Mul-T provides futures and binary semaphores as primitive synchronization mechanisms. For experimenting with other synchronization constructs, we have extended the language to include J-structures, L-structures, mutualexclusion locks, counting semaphores and barri...

This paper presents some ideas for efficiently allocating resources to enhance the performance of gang scheduling. We first introduce a job re-packing scheme. In this scheme we try to rearrange the order of job execution on their originally allocated processors in a scheduling round to combine small fragments of available processors from different time slots together to form a larger and more u...

Video games can empower their players beyond reality, giving them extraordinary abilities. We investigate a novel class of games that provide empowerment in both the real and the virtual world, in this case using a trampoline as part of the human-computer interface. We studied whether novice trampoline jumpers can learn trampolining skills while playing a platform jumping game implemented using...

Modern multiprocessor architectures have exacerbated problems of coordinating access to shared data, in particular as regards to the possibility of deadlock. For example semaphores, one of the most basic synchronization primitives, present difficulties. Djikstra defined semaphores to solve the problem of mutual exclusion. Practical implementation of the concept has, however, produced semaphores...

DiSOM is a software-based distributed shared memory (DSM) system, which supports intraand interapplication sharing in heterogeneous networks of multiprocessor workstations. Unlike previous DSM systems, DiSOM provides fine-grained control over communication while retaining a simple shared memory model. It achieves this by using an update-based implementation of entry consistency, semaphores, rem...

A method is presented to transform a Petri-Net into a System of Concurrent State Machines simulating the original net. Moreover it is described how a System of Concurrent State Machines can be implemented on a multiprocessor system.