output
20032009
most citedTesting bibliometric indicators by their prediction of scientists promotions

93 citations

researchers with a paper here
collaborating institutions
Showing 2007Show all

5 papers · 1 filter

nlin.CG2007

Coalescing Cellular Automata -- Synchronizing CA by Common Random Source and Varying Asynchronicity

Jean-Baptiste Rouquier, Michel Morvan

We say that a Cellular Automata (CA) is coalescing when its execution on two distinct (random) initial configurations in the same asynchronous mode (the same cells are updated in e…

cs.DC2007

Optimizing Latency and Reliability of Pipeline Workflow Applications

Anne Benoit, Veronika Rehn-Sonigo, Yves Robert

Mapping applications onto heterogeneous platforms is a difficult challenge, even for simple application patterns such as pipeline graphs. The problem is even more complex when proc…

cs.OH2007★ 26 cited

Blocking a transition in a Free Choice net and what it tells about its throughput

Bruno Gaujal, Stefan Haar, Jean Mairesse

In a live and bounded Free Choice Petri net, pick a non-conflicting transition. Then there exists a unique reachable marking in which no transition is enabled except the selected o…

cs.DM2007★ 1 cited

Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence

Stéphane Le Roux

In 1953, Kuhn showed that every sequential game has a Nash equilibrium by showing that a procedure, named ``backward induction'' in game theory, yields a Nash equilibrium. It actua…

cs.PL2007

Elementary transformation analysis for Array-OL

Paul Feautrier

Array-OL is a high-level specification language dedicated to the definition of intensive signal processing applications. Several tools exist for implementing an Array-OL specificat…