The busiest European and US airports are still a major bottleneck in the air transportation network. Optimizing utilization of existing airport capacity during periods of congestion, to maximize the airport throughput and minimize delays, is a challenging task. It is important for both strategic (several hours into the future) traffic flow management (TFM) and tactical air traffic control (ATC)...

Traffic flow is modeled by a conservation law describing the density of cars. It is assumed that each driver chooses his own departure time in order to minimize the sum of a departure and an arrival cost. There are N groups of drivers, The i-th group consists of κi drivers, sharing the same departure and arrival costs φi(t), ψi(t). For any given population sizes κ1, . . . , κn, we prove the exi...

Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided to the developers of distributed applications. Among all the shared objects, the register object is fundamental. Several protocols have been proposed to build fault resilient registers on top of message-passing system, but, unfortunately,...

The problem of parameter estimation and statistical inference when fitting an M/G/∞ queuing process to data is considered in the situation where the times of arrival and departure are unknown; instead recurrent events, which occur according to a mixed Poisson process, are observed between the times of arrival and departure.

Due to their capability to hide the complexity generated by the messages exchanged between processes, shared objects are one of the main abstractions provided to the developers of distributed applications. Implementations of such objects, in modern distributed systems, have to take into account the fact that almost all services implemented on the top of distributed infrastructures are no longer...