Learn More
A virtual network laboratory -allowing to emulate a physical network of computers and network devices such as switches or routers <i>in software</i>- represents a valuable tool for students, and may also be useful to researchers and system administrators. A tool of this kind, particularly if it aims at being usable by inexperienced students, should offer(More)
We present a type system for automata and rational expressions , expressive enough to encompass weighted automata and transducers in a single coherent formalism. The system allows to express useful properties about the applicability of operations including binary heterogeneous functions over automata. We apply the type system to the design of the Vaucanson(More)
Modern multi-core machines are conceived to efficiently execute explicitly parallel assembly programs. Current technology is moving away from instruction-level parallelism, exploitable without changes in the software, toward task-level parallelism requiring modifications in programs. In this context exploiting parallelism entails either exploiting new(More)
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where players have exactly opposed goals (min vs. max), is more widely applicable than min-max and also supports a form of pruning, despite it being less effective than &#945;-&#946;.(More)
  • 1