This paper focuses on the efficient scheduling on multicore systems of very fine-grain
networked tasks, which are the typical building block of online data-intensive applications …

Cyber-Physical Systems (CPS) are integrations of computation and physical processes.
Embedded computers and networks monitor and control the physical processes, usually …

1 Summary Cyber-Physical Systems (CPS) are integrations of computation with physical
processes. Embedded computers and networks monitor and control the physical processes …

When separately written programs are composed so that they may cooperate, they may
instead destructively interfere in unanticipated ways. These hazards limit the scale and …

Abstract Cyber-Physical Systems (CPS) are integrations of computation and physical
processes. Embedded computers and networks monitor and control the physical processes …

We show that the bounded context-switching reachability problem for concurrent finite
systems communicating using unbounded FIFO queues is decidable, where in each context …

In this paper, we extensively tune and then compare the performance of web servers based
on three different server architectures. The μserver utilizes an event-driven architecture, Knot …

This paper proposes to combine two seemingly opposed programming models for building
massively concurrent network services: the event-driven model and the multithreaded …

Tame is a new event-based system for managing concurrency in network applications. Code
written with Tame abstractions does not suffer from the “stackripping” problem associated …

An asynchronous program is one that contains procedure calls which are not immediately
executed from the callsite, but stored and" dispatched" in a non-deterministic order by an …