This work considers the cycle covering of complete graphs motivated by the design of survivable WDM networks, where the requests are routed on sub-networks which are protected independently from each other. The problem can be stated as follows: for a given graph $G$, find a cycle covering of the edge set of $K_n$, where $V(K_n) = V(G)$, such that each cycle in the covering satisfies the disjoint routing constraint (DRC), relatively to $G$, which can be stated as follows : to each edge of $K_n$ we associate in G a path and all the paths associated to the edges of a cycle of the covering must be vertex disjoint. Here we consider the case where $G = C_n$, a ring of size $n$ and we want to minimize the number of cycles in the covering. We give ...
Let $S$ be a set of $n$ points in the plane. We study the following problem: Partition $S$ by a line...
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition...
The typical program verification system is a batch tool that accepts as input a program annotated wi...
This work considers the cycle covering of complete graphs motivated by the design of survivable WDM ...
It is well known that the complexity of the Delaunay triangulation of $n$ points in $R ^d$, i.e. the...
As the increasing of issue width has diminishing returns with superscalar processor, thread parallel...
Projet MEVALThis paper gives the growth rate and the ergodicity conditions for a simple class of ran...
As the increasing of issue width has diminishing returns with superscalar processor, thread parallel...
La finalité de ce travail a été d'estimer de la meilleure manière possible des paramètres de différe...
We consider an extension of the mu-calculus as a general framework to describe and synthesize contro...
We analyse a class of numerical schemes for solving the HJB equation for stochastic control problems...
Projet MCRSystems consisting of many queues in series have been considered by Glynn and Whitt (1991)...
In this paper we address the issues of modelling and verification of concurren- t systems subject to...
The «arrowhead torus» is a broadcast graph that we define on the 6-valent grid as a Cayley graph. We...
In this paper we address the issues of modelling and verification of concurren- t systems subject to...
Let $S$ be a set of $n$ points in the plane. We study the following problem: Partition $S$ by a line...
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition...
The typical program verification system is a batch tool that accepts as input a program annotated wi...
This work considers the cycle covering of complete graphs motivated by the design of survivable WDM ...
It is well known that the complexity of the Delaunay triangulation of $n$ points in $R ^d$, i.e. the...
As the increasing of issue width has diminishing returns with superscalar processor, thread parallel...
Projet MEVALThis paper gives the growth rate and the ergodicity conditions for a simple class of ran...
As the increasing of issue width has diminishing returns with superscalar processor, thread parallel...
La finalité de ce travail a été d'estimer de la meilleure manière possible des paramètres de différe...
We consider an extension of the mu-calculus as a general framework to describe and synthesize contro...
We analyse a class of numerical schemes for solving the HJB equation for stochastic control problems...
Projet MCRSystems consisting of many queues in series have been considered by Glynn and Whitt (1991)...
In this paper we address the issues of modelling and verification of concurren- t systems subject to...
The «arrowhead torus» is a broadcast graph that we define on the 6-valent grid as a Cayley graph. We...
In this paper we address the issues of modelling and verification of concurren- t systems subject to...
Let $S$ be a set of $n$ points in the plane. We study the following problem: Partition $S$ by a line...
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition...
The typical program verification system is a batch tool that accepts as input a program annotated wi...