39documents trouvés
La harpe laser à climats musicaux: un projet pluridisciplinaire de médiation scientifique par l'art
P.ARGUEL, A.BOUCHIER, L.COUTO-ROSADO, X.DOLLAT, J.FANCHON, B.FRANC, C.GANIBAL, F.LOZES-DUPUY, P.MARCOUL, A.MAUFFRET
PH, 2I, Ecole des Beaux Arts, COMMUNICATION
Manifestation avec acte : Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS 2011), Trois Rivières (Canada), 23-26 Octobre 2011, 6p. , N° 11421
Diffusable
126317Pomset languages of deterministic step transition systems with autoconcurrency
J.FANCHON, R.MORIN
2I, LIF
Rapport LAAS N°11441, Août 2011, 35p.
Diffusable
125161Harpe lumineuse: notice technique. Contribution au 50ème anniversaire de la découverte du laser
P.ARGUEL, A.BOUCHIER, L.COUTO-ROSADO, X.DOLLAT, J.FANCHON, B.FRANC, C.GANIBAL, F.LOZES-DUPUY, P.MARCOUL, A.MAUFFRET
PH, Ecole des Beaux Arts, 2I, COMMUNICATION
Rapport LAAS N°11447, Juillet 2011, 32p.
Diffusable
125167Spatial self-reorganization of repulsive mobile agents
J.H.COLLET, J.FANCHON
TSF, 2I
Manifestation avec acte : International Conference on Swarm Intelligence (ICSI 2011), Cergy Pontoise (France), 14-15 Juin 2011, 10p. , N° 11180
Diffusable
124960Discrete-time simulator for wireless mobile agents
D.MARTIN-GUILLEREZ, J.FANCHON
TSF, 2I
Manifestation avec acte : International Workshop on Intelligent Sensor and Wireless Networks (IntelNet 2010), Bradford (UK), 29 Juin - 1 Juillet 2010, pp.779-784 , N° 10250
Diffusable
122134Web browser energy consumption
F.CAMPS, J.FANCHON
2I
Manifestation avec acte : IEEE International Conference on Communications (COMM 2010), Bucarest (Roumanie), 10-12 Juin 2010, pp.397-400 , N° 10176
Diffusable
121794An efficient causal ordering algorithm for multicast communication channels
S.POMARES HERNANDEZ, L.A.MORALES ROSALES, J.FANCHON
INAOE, 2I
Revue Scientifique : International Journal of Parallel, Emergent and Distributed Systems, Vol.25, N°1, pp.17-36, Janvier 2010 , N° 08608
Diffusable
Plus d'informations
Mots-Clés / Keywords
Causal ordering; Group communication; Distributed systems; Immediate dependency relation;
Pomset semantics of finite step transition systems
J.FANCHON, R.MORIN
2I, LIF
Manifestation avec acte : 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009), Paris (France), 22-26 Juin 2009, pp.83-102 , N° 09012
Diffusable
Plus d'informations
Mots-Clés / Keywords
Partial order theory of concurrency; Multiset sequences; Regularity; Monadic second-order logic; Autoconcurrency;
A Buchi theorem for finitely generated pomsets without autoconcurrency
J.FANCHON
2I
Manifestation sans acte : Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France), 23-24 Mars 2006, 17p. , N° 05655
Diffusable
106700A coordination-level middleware for supporting flexible consistency in CSCW
C.PLESCA, R.GRIGORAS, P.QUEINNEC, G.PADIOU, J.FANCHON
ENSEEIHT, IRIT-UPS, 2I
Manifestation avec acte : 14th Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP'2006), Montbéliard-Sochaux (France), 15-17 Février 2006, pp.316-321 , N° 05507
Diffusable
105858